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.
xev
, then pressing Alt+F1, and then look at sectionkeycode
in the output. Then run the command:xmodmap -e "keycode # = """
, where # is the keycode.