Florian Müllner a3d2cfa503 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-08-11 21:52:38 +02:00
..
dbusServices	notificationDaemon: Fix grouping by PID	2020-05-29 21:59:10 +02:00
gdm	loginDialog: Reset auth prompt on vt switch before fade in	2020-07-27 16:52:49 -04:00
misc	systemActions: Use 'system-log-out-symbolic' for logout	2020-05-07 19:43:05 +00:00
perf	cleanup: Require "dangling" commas	2019-11-11 19:25:14 +00:00
portalHelper	js: Don't use templates in files with translations	2020-02-17 23:20:40 +01:00
ui	popupMenu: Ungrab when removing active menu	2020-08-11 21:52:38 +02:00
js-resources.gresource.xml	swipeTracker: Introduce swipe tracker	2020-01-10 18:20:22 +01:00
meson.build	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml	js: Remove unused files from resources	2020-03-09 13:18:48 +00:00