I use GNOME Shell 41.4, Alt+F1 opens “Applications” menu. I couldn’t find this shortcut in Keyboard Shortcuts UI, eventually I found
/org/gnome/desktop/wm/keybindings/panel-main-menu where it was set to Alt+F1 but it’s marked as DEPRECATED and indeed, clearing it there has no effect, Alt+F1 still opens “Applications” menu.
I eventually found
['<Alt>F1'] and clearing it did the trick.
Similarly gsettings works:
gsettings set org.gnome.shell.extensions.apps-menu apps-menu-toggle-menu ""
I spent total about one hour trying to figure out how to disable Alt+F1 shortcut in GNOME, because shortcut is not surfaced in normal Keyboard Shortcuts UI and because Google points to
panel-main-menu which is still there, still defaults to Alt+F1 but is now deprecated (doesn’t say deprecated by what) and clearing
panel-main-menu has no effect.
- Is it possible to surface Alt+F1 in Keyboard Shortcuts UI?
- Is it possible to mention
P.S. Added gnome - How can I disable the Alt + F1 and Alt + F2 shortcuts? - Ask Ubuntu, hopefully it’ll help someone save an hour of life