- Gnome Shell 3.6.2
- Ubuntu 12.10 64 位
/org/gnome/gnome-panel/layout/toplevels/bottom-panel
理论上有几个选项可以定制 Gnome 面板的行为。
我尝试设置底部栏显示速度更快,并自动隐藏。为此,我更改了设置,如下面的屏幕截图所示:
我使用 ++Alt重新启动了 Gnome 环境,但是不起作用。F2R
答案1
答案是:不,它们不被 Gnome Shell 使用。
原因很简单:这些设置是针对 gnome-panel 的,而 gnome-panel 不是 Gnome Shell 的一部分,它是所谓的 Gnome Fallback(或 Gnome Classic)的一部分。
如果您想要 100% 确定的证明,请下载 gnome-panel 和 gnome-shell 的源代码:
apt-get source gnome-panel gnome-shell
然后寻找一个属性:
grep -r unhide-delay
您将看到所有结果均来自 gnome-panel 包。