[pygtk] restore window position

[Pietro Battiston]

Il giorno gio, 17/12/2009 alle 18.13 +1100, Simon Burton ha scritto:
> When finding out the position of a window i get a position that is offset by
> the window manager decorations. So I haven't been able to restore a windows
> position because the move function takes a position that is not offset by
> the decorations.
> 
> Is there a way around this problem ?
> 
> I have tried all the following:
> 
> window.window.get_frame_extents()
> window.allocation
> 
> window.get_position()
> 
> window.window.get_origin()
> 
> They all return coordinates offset by the window manager decorations.
> 

I didn't try all of these, nor did study the decorations problem, but I
did verify that:

w.move(*w.get_position())

does leave the window where it is. To my eyes, this would seem enough,
isn't it?!

That said, if you program for Linux also make sure you read
documentation for gtk.Window.set_role.

Pietro