История изменений
Исправление mogwai, (текущая версия) :
На ноуте выполнил чистую установку. УМВР из коробки, как с федорой обычно и бывает.
Тёмную тему таки нейтральной сделали, а значок терминала перерисовать забыли, он краснит.
У терминала поиск отдельным окном, выбивается из общей идеи. Команда «новая вкладка» в заголовке окна не нужна. В терминале клавиатурой работают, Ctrl+Shift+T быстрее нажать (как, собственно, и Ctrl+Shift+F). Из «нужного» остаётся один лишь гамбургер, которому можно дать стиль как у кнопок свернуть\развернуть\закрыть, и заголовок окна сделать размером, как раньше. Либо текст в терминале по умолчанию сделать крупнее. Диссонанс выходит между заголовком и содержимым.
В GNOME Settings появились приложения, нужно идти дальше. Настройки приложений следует перенести туда. Т. о. отпадёт необходимость в гамбургере, например, в терминале.
К предыдущему: пункты Help, Keyboard shortcuts и About из окон приложений вынести в Dash. Туда же Settings, которое будет открывать страницу приложения в GNOME Settings.
В GNOME Settings отдельным пунктом вынести общесистемные настройки цветовой схемы редакторов. Приложению, если надо, переопределить сможет. А так, что в gedit, что в builder будет возможность один раз настроить как удобно, и потом использовать везде. То же с настройками внешнего вида терминала. Меня дефолтные устраивают, так что не в курсе, может оно и так уже так: чего в терминале настроил, то и в IDE терминал с такими же параметрами отображается.
Исходная версия mogwai, :
На ноуте выполнил чистую установку. УМВР из коробки, как с федорой обычно и бывает.
Тёмную тему таки нейтральной сделали, а значок терминала перерисовать забыли, он краснит.
У терминала поиск отдельным окном, выбивается из общей идеи. Команда «новая вкладка» в заголовке окна не нужна. В терминале клавиатурой работают, Ctrl+Shift+T быстрее нажать (как, собственно, и Ctrl+Shift+F). Из «нужного» остаётся один лишь гамбургер, которому можно дать стиль как у кнопок свернуть\развернуть\закрыть, и заголовок окна сделать размером, как раньше. Либо текст в терминале по умолчанию сделать крупнее. Диссонанс выходит между заголовком и содержимым.
В GNOME Settings появились приложения, нужно идти дальше. Настройки приложений следует перенести туда. Т. о. отпадёт необходимость в гамбургере, например, в терминале.
К предыдущему: пункты Help, Keyboard shortcuts и About из окон приложений вынести в Dash. Туда же Settings, которое будет открывать страницу приложения в GNOME Settings.