怎么修改gnome3的窗口标题栏高度啊_gnome吧

06月03日漏签0天

gnome吧关注：590贴子：1,068

11回复贴，共1页

<返回gnome吧

怎么修改gnome3的窗口标题栏高度啊

只看楼主收藏回复

文件管理器的标题栏高度，等等窗口标题栏都太高了

送TA礼物

IP属地:安徽

1楼2016-02-03 11:29回复

能不能让这些标题栏扁一点啊

IP属地:安徽

2楼2016-02-03 11:30

看archwikignome篇有教程
改变标题栏的高度，创建以下文件，调整填充所需：
~/.config/gtk-3.0/gtk.css
.header-bar.default-decoration {
padding-top: 3px;
padding-bottom: 3px;
}
.header-bar.default-decoration .button.titlebutton {
padding-top: 2px;
padding-bottom: 2px;
}
然后alt+f2 输入r然后回车

4楼2016-03-02 16:37

收起回复