Florian Müllner 260405a49e popupMenu: Ungrab when removing active menu
While we do have some handling for removing the active menu, it has
been a no-op for years. The bit that we really care about from the
PopupMenuManager's point of view is the existing grab though. Drop
that instead of calling _closeMenu() directly; ungrabbing will still
call the method indirectly, and it will still be a no-op :-)

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3022
2020-07-29 19:40:54 +00:00
..
2020-05-20 15:12:03 +02:00
2020-06-23 16:14:24 +00:00
2020-06-03 12:55:53 -03:00
2020-07-20 16:13:19 +00:00
2020-05-20 15:12:03 +02:00
2020-03-31 05:43:40 +00:00
2019-11-11 19:25:14 +00:00
2020-03-27 10:39:58 +01:00
2020-06-03 12:55:53 -03:00
2020-05-20 15:12:03 +02:00
2020-07-07 12:26:58 +02:00
2020-05-20 15:12:03 +02:00