Florian Müllner 35494f5d08 popupMenu: Close when source actor gets hidden ...

If a menu is anchored to a source actor, it is odd to leave it floating
around when the source actor gets hidden.

Close the menu instead in that case.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2002

2019-12-20 14:20:49 +00:00

..

extensionPrefs

extensionPrefs: Always redefine getCurrentExtension() on prefsModule access

2019-12-05 15:24:34 +00:00

gdm

js: Add caps-lock Warning to the dialogs

2019-12-17 23:08:43 +01:00

misc

util: Place spawned processes into a systemd scope

2019-12-11 09:34:36 +01:00

perf

cleanup: Require "dangling" commas

2019-11-11 19:25:14 +00:00

portalHelper

cleanup: Require "dangling" commas

2019-11-11 19:25:14 +00:00

ui

popupMenu: Close when source actor gets hidden

2019-12-20 14:20:49 +00:00

js-resources.gresource.xml

accessibility: Add pointer accessibility support

2019-06-06 09:13:29 +02:00

meson.build

build: Use dedicated resources for helper programs

2018-08-14 17:28:04 +00:00

portal-resources.gresource.xml

build: Include params.js in portal-helper gresources

2018-10-23 15:38:31 +00:00

prefs-resources.gresource.xml

build: Use dedicated resources for helper programs

2018-08-14 17:28:04 +00:00