Не знаю зачем гномо-дизайнеры сделали такие огромные заголовки окон а Gnome 3, но мне так не нравится.
Исправляем.
Создадим файл ~/.config/gtk-3.0/gtk.css с таким вот содержимым:
1 2 3 4 5 6 7 8 9 10 11 | headerbar.default-decoration { padding-top: 3px; padding-bottom: 3px; min-height: 0px; font-size: 0.6em; } headerbar.default-decoration button.titlebutton { padding: 0px; min-height: 0px; } |
Запишем его и перезапустим щель (gnome-shell), нажав Alt+F2, в окошке введем букву «r» (без кавычек) и нажмем Enter.
Нравится?
UPDATE
Для HiDPI-дисплеев предыдущий файлик не поможет.
Делаем другой, вот с таким содержимым:
1 2 3 4 5 6 7 8 9 | .default-decoration { min-height: 0; /* let the entry and button drive the titlebar size */ padding: 2px } .default-decoration .titlebutton { min-height: 6px; /* tweak these two props to reduce button size */ min-width: 6px; } |