Florian Müllner 4f66b301e7 panel: Disable menu-toggle shortcuts while top bar is hidden ... We currently handle the case where the indicator itself is disabled (read: hidden), but not when the entire top bar is invisible (for instance when the primary monitor is in fullscreen state). It is odd to pop up a top bar menu without the top bar, so check for the indicator's mapped- instead of visible state. 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	panel: Disable menu-toggle shortcuts while top bar is 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