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

14
votes
3answers
11k 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 ...
7
votes
2answers
24k views

How to style window borders in Linux Mint w/ Cinnamon?

I've noticed that all the themes leave me with those large gray/metal window borders, which I really don't like. How can I edit this, and why do most themes simply change how the taskbar looks?
5
votes
1answer
3k 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 ...
6
votes
5answers
3k 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 ...