gnome-shell/js
Florian Müllner c1a6effea0 panel: Don't allow opening hidden menus via keybindings
We shouldn't allow toggling menus that aren't supported by the
current session mode, but as indicators are hidden rather than
destroyed on mode switches, it is not enough to check for an
indicator's existence.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/851
2019-02-05 11:08:45 -05:00
..
extensionPrefs extensionPrefs: Work around xgettext bug 2019-02-03 16:11:09 +00:00
gdm st: Add StDirectionType enum 2019-01-30 22:50:01 +01:00
misc objectManager: Fix index mix-up 2019-02-05 02:21:40 +00:00
perf perf: Stop using legacy generator functions 2019-01-28 17:29:35 +00:00
portalHelper cleanup: Port GObject classes to JS6 classes 2019-01-25 14:02:44 +00:00
ui panel: Don't allow opening hidden menus via keybindings 2019-02-05 11:08:45 -05:00
js-resources.gresource.xml appDisplay: Separate PageIndicators to a separate file 2019-02-05 16:25:54 +01: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