Florian Müllner
7ba0e5b42c
It's an old GNOME 2 shortcut that's no longer worth supporting in the regular session. Instead, set up a new shortcut backed by our own schema. https://discourse.gnome.org/t/difference-between-show-the-overview-and-show-the-activities-overview-keyboard-shortcuts/6572 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell-extensions/-/merge_requests/173>
13 lines
448 B
XML
13 lines
448 B
XML
<schemalist gettext-domain="gnome-shell-extensions">
|
|
<schema id="org.gnome.shell.extensions.apps-menu"
|
|
path="/org/gnome/shell/extensions/apps-menu/">
|
|
<key name="apps-menu-toggle-menu" type="as">
|
|
<default>["<Alt>F1"]</default>
|
|
<summary>Keybinding to open the applications menu</summary>
|
|
<description>
|
|
Keybinding to open the applications menu.
|
|
</description>
|
|
</key>
|
|
</schema>
|
|
</schemalist>
|