Наконец, созрел я для тестов gnome 3.10 на fedora 20. Смотрю, стало довольно стабильно, по крайней мере за день использования гном не упал).
Вопрос такой, есть ли глобальное меню? Апплет или еще как-нибудь подкрутить. Задолбало, что заголовок окна (с кнопками minimiza-maximize-close) занимает бесполезно место. Вижу, что у наутилуса как бы оно есть, да кто ж им пользуется. Вот, например, взять Thunderbird, Gnome-terminal.