最近，由于我更改了主文件夹的用户名，出现了许多视觉错误，其中之一就是标题栏文本比平时大。遗憾的是，我还没有找到修改这个问题的方法，所以我来这里向 Ubuntu 询问如何修改。
答案1
没关系，又搜索了 5 分钟，我在另一个问题中找到了一条命令：
如何增加窗口标题字体大小？（讽刺地问相反的问题）。
如果将来有人遇到我的问题，则可以使用以下命令：
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'