<Установил Cinnamon, но после установки не доступны System Setting...>
Окружение Cinnamon версии 2.0.12( будущее окружение Linux Mint 16 Petra) больше не конфликтует с Unity! Cinnamon отделился от Gnome и разработчики Cinnamon не будут больше использовать гномовские настройки. Т.о., настроить Cinnamon через System Settings или Ubuntu Tweak уже нельзя! Все настройки Cinnamon только через Прав.кн.мыши по панели Cinnamon > Настройки>Все настройки, и далее Фоновые рисунки, Шрифты, Темы и т.д.. Например, изменить размер панели и значков на ней можно по следующему пути: Прав.кн.мыши по панели Cinnamon > Настройки>Все настройки>Панель (снизу Расширенный режим),отметить галкой: Применять пользовательский размер панели, затем галка в Позволить Cinnamon масштабировать текст панели и значки... ,а затем плюсуем или минусуем пиксели по высоте панели( размер значков тоже меняется)!