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

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

我最近从 15.04 升级到了 15.10,我不相信利润率会这么荒谬,所以我想知道是否有一些东西被重置/更改了。

天啊看看那个胖子的体型?!

如您所见,顶部的 GNOME 栏是正常大小,Firefox 标签栏也是正常大小。然后正中间是一个庞大的标题栏,其大小大约是其应有大小的两倍。

我正在使用 Numix 的 GTK+ 主题,在我使用过的任何其他机器上,它都没有这么臃肿。我尝试减小标题栏的字体大小,但我猜问题出在边距/填充上,似乎没有任何设置。

答案1

创建或修改~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none; 
     background-image: linear-gradient(to bottom, 
                    shade(@theme_bg_color, 1.05), 
                    shade(@theme_bg_color, 0.99)); 
     box-shadow: inset 0 1px shade(@theme_bg_color, 1.4); 
} 

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
} 

然后通过 Alt+F2 并按r命令重新启动 GNOME shell。

来源http://jadelinux.com/fedoratips/titlebarheight.html

答案2

创建或修改~/.config/gtk-3.0/gtk.css

.header-bar.default-decoration { 
     padding-top: 3px; 
     padding-bottom: 3px; 
     border: none;
}

.header-bar.default-decoration .button.titlebutton { 
     padding-top: 2px; 
     padding-bottom: 2px; 
}

然后通过 Alt+F2 并按r命令重新启动 GNOME shell。


这个答案中省略的额外部分弄乱了 Numix 主题。

相关内容