[gtkada] getting window positions

[Stephen Leake]

manuel.op.de.coul at eon-benelux.com writes:

> >Maybe "configure_event" would do the trick as I think it is sent
> >very time the window is moved or resized ?
> 
> But the purpose was to save the position when the window was closed.
> I don't think the configure_event happens when it's closed.

Well, the net effect would be the same; the next time the window is
opened, it is opened at the last user-defined position.

On the other hand, you have "unnecessary" writes to the config file,
since the position will not be used again untill the window is opened.

For storing window positions, I think "configure_event" is the right
event; I'll try it.

However, in general, the child should have a chance to say "don't
close" if the parent is told to close. So I think "delete_event"
should be sent to all children before a parent closes.

-- 
-- Stephe