Недавно у меня было много визуальных ошибок из-за того, что я изменил имя пользователя моей домашней папки, одна из них - это текст в строке заголовка большего размера, чем обычно. К сожалению, я не нашел способа изменить это, так что я пришел сюда, чтобы спросить Ubuntu хо ш.
Ничего, еще 5 минут поиска и я нашел команду в другом вопросе:
Как я могу увеличить размер шрифта заголовка окна? (иронично спрашивает противоположное).
Это команда, если у кого-то возникнет моя проблема в будущем:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'