LINUX.ORG.RU

История изменений

Исправление EXL, (текущая версия) :

Применил эти патчи, пересобрал GTK+3, сделал пакет:

http://esxi.z-lab.me:666/~exl_lab/software/gtk3-3.22.15-2.fc25.x86_64.rpm (4.4M)

Ставил его в систему так (не знаю, правильные ли флажки я выбрал у rpm, опытные пользователи RPM-дистров могут меня поправить):

# rpm -Uvh --force gtk3-3.22.15-2.fc25.x86_64.rpm

Потом, ребутнулся, запустил dconf-editor и выставил там настройку /org/gtk/settings/hide-titlebar-when-maximized в true:

http://esxi.z-lab.me:666/~exl_lab/screens/G3_dconf_editor.png

Далее перезапустил GTK+-приложения и заголовки, которые раньше убого смотрелись на развёрнутых окнах, отключились. В GNOME Terminal и в других GTK+3-приложениях под Wayland'ом теперь всё нормально:

http://esxi.z-lab.me:666/~exl_lab/screens/G3_GTerm_M.png
http://esxi.z-lab.me:666/~exl_lab/screens/G3_Rhythm.png

Такие дела. Вроде теперь всё норм. А Pixel Saver я удалять не стал, так как он работает для приложений на других тулкитах.

Исходная версия EXL, :

Так

Применил эти патчи, пересобрал GTK+3, сделал пакет:

http://esxi.z-lab.me:666/~exl_lab/software/gtk3-3.22.15-2.fc25.x86_64.rpm (4.4M)

Ставил его в систему так (не знаю, правильные ли флажки я выбрал у rpm, опытные пользователи RPM-дистров могут меня поправить):

# rpm -Uvh --force gtk3-3.22.15-2.fc25.x86_64.rpm

Потом, ребутнулся, запустил dconf-editor и выставил там настройку /org/gtk/settings/hide-titlebar-when-maximized в true:

http://esxi.z-lab.me:666/~exl_lab/screens/G3_dconf_editor.png

Далее перезапустил GTK+-приложения и заголовки, которые раньше убого смотрелись на развёрнутых окнах, отключились как в GNOME Terminal, так и в других GTK+3-приложениях:

http://esxi.z-lab.me:666/~exl_lab/screens/G3_GTerm_M.png
http://esxi.z-lab.me:666/~exl_lab/screens/G3_Rhythm.png

Отлично! А Pixel Saver я удалять не стал, так как он работает для приложений на других тулкитах.