At 12:54 PM 1/7/99 +0100, you wrote:
>[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.
>Of course, on WinNt, this is not the case, so maybe we should make this
>behaviour conditional?
If the screen update slows down, it is probably not worth it. It is very
predictable behaviour, so it more convenient to just avoid resizing
overlapping windows. It wouldn't hurt to make it conditional of course...
Dag,
Steven
--- (http://www.cs.uu.nl/staff/steven.html)