gnome3 调整标题栏高度

Posted li1234yun

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了gnome3 调整标题栏高度相关的知识,希望对你有一定的参考价值。

适用于:gtk 3.20 +

1. 在用户主目录 ~/.config/gtk3.0/ 下新建gtk.css文件;

2. 复制如下css值;

 1 headerbar.default-decoration {
 2  padding-top: 3px;
 3  padding-bottom: 3px;
 4  min-height: 24px;    /* 标题栏高度 */
 5  font-size: 1.0em;
 6 }
 7 
 8 headerbar.default-decoration button.titlebutton {
 9  padding-top: 3px;
10  padding-bottom: 3px;
11  min-height: 0px;
12 }

3. 按Alt+F2后,输入r重启桌面;

以上是关于gnome3 调整标题栏高度的主要内容,如果未能解决你的问题,请参考以下文章

BootStrap有用代码片段(持续总结)

css有用的代码片段

iOS 13:调整 UITabBar 高度不起作用 [重复]

避免 WPF 状态栏在窗口垂直调整大小时增加其高度

调整容器视图的高度以匹配子视图的高度

调整片段中 TextView 的文本大小