Gnome 终端调整标签高度

Gnome 终端调整标签高度

我在一台低分辨率(1366x768)的笔记本电脑上运行 Ubuntu Gnome 16.04。我已经能够调整 Gnome 中的大多数内容,使其在此显示器上看起来更好,但 gnome-terminal 选项卡似乎让我难以捉摸。我希望能够将像素高度稍微缩小一点,这样看起来就不会那么难看(我敢打赌它在高 dpi 显示器上看起来很棒)...

我猜想应该可以在 ~/.config/gtk-3.0/gtk.css 中添加一些内容,就像我对标题栏所做的那样 - 但我对 css 一无所知,而且我的 google-fu 似乎没有产生任何好的结果。

答案1

发现对 ~/.config/gtk-3.0/gtk.css 进行了编辑这里由 stackoverflow 上的 @Lari Hotari 撰写。

它不会删除按钮,但会使它们更适合深色主题并且占用更少的垂直空间。

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

我正在使用这个定制,与深色主题配合得很好(也可以在上面的链接中找到):

@define-color bg-grey #222;
@define-color active-grey #333;
@define-color border-grey #555;

TerminalWindow .notebook {
   border: 0;
   padding: 0;
   color: #eee;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab:active {
   border: 1px solid @border-grey;
   background-color: shade(@active-grey, 1);
}

TerminalWindow .notebook tab {
   background-color: shade(@bg-grey, 1);
}

TerminalWindow .notebook .button,
TerminalWindow .notebook .button:active {
   padding: 2 2 2 10;
   background-image: none;
   border: 0;
}

然后退出会话并重新登录,主题应该会生效。对我来说,ALT+F2 和输入“restart”不起作用,但您的情况可能会有所不同。

相关内容