这是 Gnome shell 3 特有的。我喜欢 GNOME Shell 的底部面板，但它的自动隐藏功能不太好。有很多扩展，但没有一个提供这种功能。您可以通过指向正确的扩展名来帮助我。 （我正在经历这个 https://live.gnome.org/GnomeShell/Extensions/StepByStepTutorial/ 教程，但我不能说我是否可以完成这个工作。
关闭 GNOME shell 底部面板的自动隐藏功能
这是 Gnome shell 3 特有的。我喜欢 GNOME Shell 的底部面板，但它的自动隐藏功能不太好。有很多扩展，但没有一个提供这种功能。您可以通过指向正确的扩展名来帮助我。 （我正在经历这个 https://live.gnome.org/GnomeShell/Extensions/StepByStepTutorial/ 教程，但我不能说我是否可以完成这个工作。