How do I disable the keyboard shortcut for menu in Linux Mint 13?

source

  1. Go to System Settings
  2. "Locales" (I think it's called that way, but I am note sure since I use a german version of Cinnamon)
  3. "Layouts"
  4. Select your keyboard layout and click on "Options" on the right
  5. "Alt/Win key behaviour"
  6. Change it from Default to "Hyper is mapped to Win-keys"

After performing these steps on Arch Linux with Cinnamon 1.4UP3-1, I was able to use Gnome Do again.


Here is a solution that doesn't require fiddling with system settings. Tested on Mint 14 MATE, but should work on Cinnamon too.

  1. Right-click on Menu icon on bottom left of desktop
  2. Click "Preferences"
  3. In the initial "Main button" tab, click in the field to the right of "Keyboard shortcut"
  4. Press a new hotkey combo (I chose ctrl+win+space)

Voila - there are now hotkeys for the menu as well as Gnome Do.