是否可以自定义 gnome-shell 中窗口标题栏的字体大小和其他属性？
答案1
您可以使用以下方式修剪标题栏
打开终端
在 /home/(userdirectory)/.config/gtk-3.0/gtk.css 上创建文件“gtk.css”
$ cd /home/(userdirectory) //更改为您的用户名目录 $ gedit .config/gtk-3.0/gtk.css
插入以下代码
.header-bar.default-decoration { padding-top : 4px; padding-bottom : 4px; } .header-bar.default-decoration .button.titlebutton { padding-top : 2.5px; padding-bottom : 2.5px; }
退出并保存 Gedit
重新启动 Gnome Shell（Alt+F2，r）
答案2
安装 gnome-tweak-tool 并在“字体”下有“窗口标题字体”
