RE: isZeroSizeWnd in x11drv/wnd.c calculated wrongly ?

[gerard patel]

At 05:34 PM 8/30/00 -0400, you wrote:
>
>The attached patch fix the problem.

>Changed log:
>Force mapping a window if the window wasn't map, the window is visible and
>we are changing the size of the window. This case could occur, if the
>previous size was zero.
>
>Modified file:
>       window/x11drv/wnd.c

Yes :-)
(I am late because the concerned program was completely broken in *another* way and I 
wanted
to fix the second problem before testing your patch)
thanks Stephane !

Gerard