Quando a resolução do monitor é aumentada, também quero aumentar o tamanho da fonte da barra de título. Como posso conseguir isso?
Basta executar o seguinte comando no terminal:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'
O número 11 é o tamanho da fonte padrão para a fonte da barra de título. Acredito que você queira ajustar seu tamanho ao tamanho desejado.
Instale a ferramenta de ajuste de unidade:
sudo apt install unity-tweak-tool
Depois do que você pode ajustar as fontes para os diferentes locais nessa ferramenta