Florian Müllner 60d1f7797c windowMenu: Close when corresponding window goes away
The menu is clearly associated with a particular window, so keeping
it around when the window is gone doesn't make sense - in case of
the window menu, it is actually harmful as every action will act on
the invalidated window and result in a crash. So just dismiss the
menu when the menu is unmanaged.

https://bugzilla.gnome.org/show_bug.cgi?id=749529
2015-05-21 18:20:39 +02:00
..
2014-10-14 18:53:39 -07:00
2015-05-05 16:37:41 +02:00
2015-02-14 18:20:28 +01:00
2015-01-16 18:24:36 +01:00