Перешел с Ubuntu на Linux Mint Cinnamon. Все отлично, но в gedit кнопки управления окном (close, minimize, maximize) остались справа, тогда как для всей системы я перенастроил их в левое положение. Это справедливо для всех gtk3 приложений здесь: gedit, geany и т.п.
Лечится, как оказалось, просто.
1. Ставим dconf-editor:
sudo apt-get install dconf-editor
2. Запускаем его и идем в ветку org/cinnamon/desktop/interface/
3. И там значение переменной gtk-decoration-layout меняем с menu:minimize,maximize,close на close,minimize,maximize:menu
Все, windows buttons have been moved to the left :-)