答案1
没关系,又搜索了 5 分钟,我在另一个问题中找到了一条命令:
如何增加窗口标题字体大小?(讽刺地问相反的问题)。
如果将来有人遇到我的问题,则可以使用以下命令:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'
没关系,又搜索了 5 分钟,我在另一个问题中找到了一条命令:
如何增加窗口标题字体大小?(讽刺地问相反的问题)。
如果将来有人遇到我的问题,则可以使用以下命令:
gsettings set org.gnome.desktop.wm.preferences titlebar-font 'Ubuntu Bold 11'