小编Eni*_*gma的帖子

如何减少 GNOME 中大量标题栏边距/填充的大小

我最近从 15.04 升级到 15.10,我不相信利润率几乎如此荒谬,所以我想知道是否有什么东西被重置/改变了。

天啊,看看那个胖子的大小?!

如您所见,顶部 GNOME 栏是正常大小,Firefox 标签栏也是正常大小。然后在中间轻拍是一个标题栏的怪物,它的大小大约是它应该大小的两倍。

我正在使用 Numix 作为 GTK+ 主题,它在我使用过的任何其他机器上从未看起来如此臃肿。我尝试减小标题栏的字体大小,但问题是我猜测的边距/填充似乎没有任何设置。

gnome themes gnome-tweak-tool 15.10

5
推荐指数
1
解决办法
4244
查看次数

标签 统计

15.10 ×1

gnome ×1

gnome-tweak-tool ×1

themes ×1