On Wed, 08 Mar 2000 15:50:14 -0700, [EMAIL PROTECTED] wrote:
> I noticed recently that windows don't update when you resize them, until
> you try to move the window. I'm making some changes to the backend, so I
> wondered if anyone else noticed this or if it's something I did.
>
> P.S. I did get the newest version of WindowMaker, etal
Mea culpa - but I suppose you gessed that.
Sorry - I think I was too busy getting window positioning correct and forgot
to check that resize was still working properly - I had changed the code so
that it completely ignored configure notifies direct from the window server
and only payed attention to events sent from the window manager. I forgot
that the server sends us the correct size information, and what we actually
need to do is ignore the x,y coordinates arriving from the server, not the
whole event.
Anyway - I think it's fixed now.