Можно ли настроить размер шрифта и другие свойства заголовков окна в gnome-shell?
2 ответа
1
Вы можете обрезать строку заголовка с помощью
Открытый терминал
Создайте файл "gtk.css" в /home/(userdirectory)/.config/gtk-3.0/gtk.css
$ cd /home /(userdirectory) // изменить в соответствии с вашим именем пользователя $ gedit .config / gtk-3.0 / gtk.css
введите код ниже
.header-bar.default-ornament {padding-top: 4px; нижний слой: 4px; } .header-bar.default-ornament .button.titlebutton {padding-top: 2.5px; padding-bottom: 2.5px; }
Выйти и сохранить Гедит
Перезапустите Gnome Shell (Alt+F2, r)
0
Установите gnome-tweak-tool и в разделе "Шрифты" есть "шрифт заголовка окна"