gnome-shell/js
Florian Müllner ace8676ad0 windowManager: Add shortcut for toggling quick settings
Ever since the various status menus were combined into a single
aggregate menu, the menu has been an important entry point. Alas,
we never got around to adding a shortcut for it, not least because
there never was a good candidate.

We just freed super+s which works as either "system" or
"(quick) settings", so use that.

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

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/2716>
2023-06-21 18:11:05 +00:00
..
dbusServices dbusServices: Port to ESM 2023-06-21 13:26:42 +02:00
gdm js: Fix linting errors from line shifts 2023-06-21 04:50:33 -07:00
misc js: Fix linting errors from line shifts 2023-06-21 04:50:33 -07:00
perf js: Split gi imports to be on new lines to prepare for ES modules 2023-06-21 04:50:33 -07:00
portalHelper portalHelper: Port to ESM 2023-06-21 13:26:42 +02:00
ui windowManager: Add shortcut for toggling quick settings 2023-06-21 18:11:05 +00:00
js-resources.gresource.xml tests/perf: Add test for shutdown with open window 2023-04-20 14:49:38 +02:00
meson.build extensions-app: Move Extensions app to new subproject 2020-03-27 23:33:30 +00:00
portal-resources.gresource.xml js/portal-resources: Add missing fileUtils to js path 2022-11-03 18:02:27 +00:00