/org/gnome/gnome-panel/layout/toplevels/bottom-panel
には、理論的にはGnomeパネルの動作をカスタマイズするためのいくつかのオプションがあります。
下のバーがより速く表示され、自動的に非表示になるように設定しようとしました。このため、スクリーンショットで以下に示すように設定を変更しました。
Gnome環境を再起動しました Alt+F2+R、しかしそれは機能しません。
答えは:no、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パッケージからのものであることがわかります。