Linux – How to remove Cinnamon’s Alt-F1 keybinding using Linux Mint 15

cinnamonkeyboard shortcutslinux-mint

I've just started using Linux Mint 15 with Cinnamon 1.8.8 at work and when I press Alt+F1 the display zoom out and displays the workspace switcher.

How can I disable this shortcut? I removed the keyboard shortcuts in System settings → Keyboard → Keyboard Shortcuts that seemed relevant but with no effect. Then I removed all of them, but of course still no effect.

Update
The accepted answer worked for Mint 15. After upgrading to Mint 16 I also had to use dconf-editor as described by maosmurf below.

Best Answer

On my system (Cinnamon 1.8.8 on Linux Mint Debian Edition) I can disable it in the Gnome control center. Open a terminal and run gnome-control-center:

enter image description here

Go into keyboard => Shortcuts and select the System section on the left:

enter image description here

Now, change the shortcut for "Show the activities overview" click on it and then press Backspace to disable it.

It may be possible to do the same on Linux Mint 15 by going into cinnamon-control-center but that is not available on the Debian edition so I can't check.

Related Solutions

Linux – Cannot change global keyboard shortcuts in Linux Mint XFCE

I had the same issue in mint 17 xfce (with both wm shortcuts like Ctrl-F1 and keyboard shortcuts like Alt-F2). I don't like the way how I fixed it but I could not find a better solution. First, I searched for all keyboard configuration files:

$ locate xfce4-keyboard-shortcuts.xml
~/.config/xfce4/xfconf/xfce-perchannel-xml/xfce4-keyboard-shortcuts.xml
/etc/xdg/xfce4/xfconf/xfce-perchannel-xml/xfce4-keyboard-shortcuts.xml
/usr/share/mint-configuration-xfce/xfce4/xfconf/xfce-perchannel-xml/xfce4-keyboard-shortcuts.xml

Then I removed the file from home, did copies of system files and removed all shortcuts which I wanted to free in both system files. After reboot these shortcuts finally gone.

Linux – Fully disable workspaces feature

What I would do, and have done on my in-laws computer, is to open the "Workspace Switcher Preferences" (most easily accessible via the workspace switcher on the panel, before you remove it) and set the "Number of workspaces" to 1.

I don't recall whether this removes the "Move to Right" options etc., but it at least makes them useless. This is good enough for most users, unless you really want to remove all traces of the workspace functionality.

Best Answer

Related Solutions

Linux – Cannot change global keyboard shortcuts in Linux Mint XFCE

Linux – Fully disable workspaces feature

Related Question