Cinnamon is a DE released as one of the new interfaces of Linux Mint 13. It is characterized by its use of the classic desktop metaphor.

learn more… | top users | synonyms

9
votes
3answers
8k views

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

I use gnome-do a lot and usually I summon it using [Super] + [Space]. It works just fine on my desktop PC (Linux Mint 11) but on my new ThinkPad T420 (Linux Mint 13) it didn't work that well. I had to ...
4
votes
1answer
2k views

How to override GTK3 / Gnome Shell themes per application

I'm using both Cinnamon and Gnome Shell (Gnome 3) on Fedora 17 with the dark theme Blapple. Quite a few applications can't handle dark themes very good. In Gnome 2 I had a simple solution for these ...
5
votes
4answers
2k views

Disable Alt + F1 keyboard shortcut in Cinnamon

I am running Linux Mint 14 with Cinnamon. Currently Alt + F1 opens the 'Expo' mode, showing all workspaces. I would simply like to unbind/disable this shortcut. Where can I do this? I have searched ...