I want to remove the functionality of Alt+F1 in Gnome Shell. I've tried poking around gconf-editor and dconf-editor, as well as the normal Keyboard settings (super  keyboard  click Keyboard), but couldn't find anything. I also wasn't able to find anything when I searched on Google. How can I do this?
Remove the Alt+F1 hotkey from Gnome Shell
keyboard shortcuts;gnome shell
Not much of an answer, but I was told that posting the answer in the question post is unacceptable.Pretty much the solution was it started working as expected. That is to say the super  keyboard  click Keyboard thing I tried before, which failed due to the required option being absent previously, succeeded because the required option was now present.