如何调整 GNOME shell 顶部栏的大小

Question

我在 Ubuntu 12.04 上安装了 gnome-shell，但我发现顶部栏比平时大，我该如何改变它的大小？

Answer 1

找到文件 /usr/share/gnome-shell/theme/gnome-shell.css

通过运行命令打开它进行编辑

sudo gedit /usr/share/gnome-shell/theme/gnome-shell.css

然后在开始的那个文件中你会看到

/* default text style */
stage {
    font-family: cantarell, sans-serif;
    font-size: 11pt; 
    color: white;
}

没有变化 font-size: 11pt，以font-size: 9pt

并保存文件，现在您已经更改了外壳的字体大小，这也会调整顶部栏的大小，但是现在您需要重新启动主题以加载此文件

所以按 alt + F2 并输入r并按 Enter

它应该可以工作，我没有使用 ubuntu，但它在 Fedora 上对我有用

Answer 2

1. 按住两个“ [Windows] key + [Alt]”
2. “ Right-click“ 酒吧
3. 单击“属性”。

在“常规选项卡”中，只需调整栏的大小即可。