☰

如何更改 gnome-shell 标题栏高度

tag-icon • tag-icon gnome-shell
如何更改 gnome-shell 标题栏高度

有没有办法改变 gnome-shell 中标题栏的高度？

因为它目前太大了，不适合我的口味，所以我想把它改小一点。

有些主题是正确的，但我不知道到底该在哪里看。我只能假设它可能与 css/js 相关。

我当前的GNOME Shell版本是3.16.4Ubuntu。

这没有帮助：如何调整 GNOME shell 顶部栏的大小。也没想到会这样，但可能给了我一个方向......

答案1

经过“到处”搜索后，我发现了一个archlinux 论坛帖子约会 2015 年 4 月：

需要将以下内容css放入~/.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;
}

我改变了填充，1px现在它很棒！

注：我的预感是对的！它是CSS相关

相关内容