Re: GDK bug

[Carlos Pereira <carlos pehoe civil ist utl pt>]

> Is there any way to tell size changes apart 
> from simple position changes (for a window?)

> I don't want the (mildly expensive)
> re-render to happen if the window is just moved.

Please do this:
put a printf statement in your configure_event callback,
it will be printed only when you change the size of
the window. Moving the window around, even minimizing the 
window or touching the resize tool in the WM decorations 
will not trigger the configure_event. Of course it will be 
triggered if you maximize the window. I just tried all of 
these operations myself with 3 different WMs.

So basically this is a no-problem, you don't need to do
nothing, your rendering will be done ONLY when resizing
actually occurs.

Carlos