Когда разрешение монитора увеличено, я хочу увеличить размер шрифта строки заголовка также. Как я могу достигнуть этого?
Просто выполненный после команды на терминале:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'
Номер 11
является размером стандартного шрифта для шрифта строки заголовка, я полагаю, что Вы хотите скорректировать их размер к своему предпочтительному размеру.
Инструмент тонкой настройки единицы установки:
sudo apt install unity-tweak-tool
После, чем Вы может скорректировать шрифты для различных местоположений в том инструменте
Вы также можете изменить этот параметр графически с помощью Tweaks. Установите его, если вы еще этого не сделали, используя:
sudo apt install gnome-tweaks
Затем откройте Tweaks → Шрифты → измените Legacy Window Titles на нужный шрифт и размер.