[problems with refresh and overlapping windows.]
>
> I would say this is a problem with your X server or the xforms
> port. What server are you using?
Actually, this bug is a feature.
We changed it to be like this in order to have fast, fast redraws.
The code is in screen.C, and in 0.12, the behaviour was different:
We did redraws correctly.
If people feel it's a problem when you work with LyX, we can
change it back, but it will affect performance..
I'm not sure what the exact logic is, but it's something about X servers
that can do some of the caching, and thus, on Unix, we can save a bunch
of work on the LyX side which results in a faster LyX.
Of course, on WinNt, this is not the case, so maybe we should make this
behaviour conditional?
(Matthias is the one that knows this code.)
Greets,
Asger