Re: Redisplay problems?

[martin rudalics]

> I don't yet understand what's the root cause of the problem, but I get
> the impression that the above is a workaround rather than a fix.

Probably.  It just mimics what the w32 build does in this case.
And we'd still have to know whether it solves the OP's problem.


Glenn: Can we mix this with

Bug#16684: Sometimes a frame is not drawn properly

The symptoms are the same and we could get the present thread a
bug number.

martin