Вот. После обновления на работе с Fedora 16 на Fedora 17, я вернулся с cinnamon на gnome-shell (дома использовал именно его).
- Темы GTK-2/3 и Mutter - Elementary
- Тема gnome-shell - default
- ШГ - видно на экране. Используется Freetype-infinality
Расширения gnome-shell:
alternative-status-menu@gnome-shell-extensions.gcampax.github.com - Пункт меню "выключить"
dock@gnome-shell-extensions.gcampax.github.com - док слева
icon-manager@krajniak.info - трей и скрытие иконки для инвалидов
user-theme@gnome-shell-extensions.gcampax.github.com - пользовательские темы
mediaplayer@patapon.info - управление плеером
places-menu@gnome-shell-extensions.gcampax.github.com - "Переход"
panel-docklet@quina.at - Список запущенных окон (показывается вверху на панели)
system-monitor@paradoxxx.zero.gmail.com - системный монитор и .... смещение часов вправо :-)