Как в Gnome 3 уменьшить размер заголовка окна, он занимает кучу полезного пространства. Мало того, что верхнюю панель переместить вниз нельзя, так еще и толстый заголовок окна мешает.
Gnome 3 заголовок окна
Как в Gnome 3 уменьшить размер заголовка окна
Никак. Это фича GNOME3. Можно, конечно, поменять тему оформления, предварительно установив gnome-tweak-tool. Не знаю что из этого выйдет.
Если непривычно, можете выбрать другую DE (благо их достаточно): KDE, MATE, Xfce, LXDE.
Как в Gnome 3 уменьшить размер заголовка окна
1. Поставьте другую тему metacity
2. Измените/уменьшите шрифт заголовка и сам заголовок станет значительно уже
3. Если 20-25 пикселов критичны то можно поставить расширение gnome-shell которое вообще убирает заголовок при развороте во весь экран, а кнопки управления окном переносит на верхнюю панель.
[quote="Konlor95"]Как в Gnome 3 уменьшить размер заголовка окна
1. Поставьте другую тему metacity
2. Измените/уменьшите шрифт заголовка и сам заголовок станет значительно уже
3. Если 20-25 пикселов критичны то можно поставить расширение gnome-shell которое вообще убирает заголовок при развороте во весь экран, а кнопки управления окном переносит на верхнюю панель.[/quote]
Как это расширение называется ? Там много, найти не могу.
Как это расширение называется ? Там много, найти не могу.
А это расширение вообще прячет верхнюю панель и её видно только в режиме overview. С помощью доступных расширений можно настроить рабочую среду вообще как угодно.
https://extensions.gnome.org/extension/740/hide-top-panel/
sun, а когда сервис расширений выйдет из беты, появится ли какой-нибудь менеджер для их установки в GNOME, не знаете?
sun, а когда сервис расширений выйдет из беты, появится ли какой-нибудь менеджер для их установки в GNOME, не знаете?
Я не в курсе, по-моему этот сервис вполне удобен и в таком виде, зачем лепить ещё один дополнительный гуй? Не вижу смысла в этих костылях.