我想降低guake terminal中的标签栏高度。
如this post中所述,在gnome终端中可以通过编辑~/.config/gtk-3.0/gtk.css
来实现。在guake终端中有类似的方法可以实现这一点吗?
答案 0 :(得分:0)
我在this git post中找到了答案。我所做的就是在~/.config/gtk-3.0/gtk.css
中将css文件附加以下内容:
#guake-terminal {
font-size: 11px;
}
#guake-terminal header box button,
#guake-terminal header box button:hover,
#guake-terminal header box button:hover:backdrop {
margin-bottom: -100px; /*this is the line that makes buttons disappear.*/
background: inherit;
border: inherit;
padding: inherit;
}
#guake-terminal header tabs tab {
padding: 0 10px 0 10px;
margin: 0 0 0 0;
}
请注意,在这种情况下,以#
开头的行不是注释。