Michael Jung mjung@iss.tu-darmstadt.de writes:
Alexandre,
could you please give a short comment on this one?
The desktop window needs to be handled a bit specially for repaints; your patch is wrong since it will never repaint it at all, but I don't know yet what the proper fix is, I need to look into it some more.