diff options
author | Robin Gareus <robin@gareus.org> | 2017-02-01 23:05:49 +0100 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2017-02-01 23:07:57 +0100 |
commit | ddd0e862cee83bbbf8361f083c07ad2c037d693e (patch) | |
tree | a3dd9ff12d6c54fd727e33bdff6126b62a1a5636 /libs/gtkmm2ext | |
parent | 9144cbe93ae8f2b279e2d497a9088c645df0a395 (diff) |
Properly remember window position.
Querying the position of unmapped windows may or may not return a valid
position. -- the configure handler is also called after hiding a window.
Diffstat (limited to 'libs/gtkmm2ext')
-rw-r--r-- | libs/gtkmm2ext/window_proxy.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/libs/gtkmm2ext/window_proxy.cc b/libs/gtkmm2ext/window_proxy.cc index 1f2fa54112..19917bd99a 100644 --- a/libs/gtkmm2ext/window_proxy.cc +++ b/libs/gtkmm2ext/window_proxy.cc @@ -286,6 +286,9 @@ WindowProxy::configure_handler (GdkEventConfigure* ev) the difference is generally down to window manager framing. */ + if (!visible() || !_window->is_mapped()) { + return false; + } save_pos_and_size (); return false; } |