所有这些 GTK 3 元素都占用了太多空间，浪费了我的屏幕信息量。我正在寻找方法来更改默认的 GUI 配置、CSS 或 GTK 使用的任何东西，以全局（用户会话中的任何内容也可以）确定某些东西周围的空间大小，例如程序选项卡中文本周围的空间。
是有没有一种方法不需要改变某些库的源代码（如果仅通过库 - 哪些）？
答案1
GTK CSS 配置可在 处获得~/.config/gtk-3.0/gtk.css，可以使用任何文本编辑器自由编辑。
但是，为了知道要更改哪个元素，您需要使用 GTK Inspector 之类的工具来找到正确的类/ID。