/org/gnome/gnome-panel/layout/toplevels/bottom-panel
имеет несколько вариантов теоретически для настройки поведения панелей Gnome.
Я попытался установить, что нижняя панель отображается быстрее и автоматически скрывается. Для этого я изменил настройки, как показано ниже на скриншоте:
Я перезапустил среду Gnome с помощью Alt kbd> + F2 kbd> + R kbd>, но это не работает.
Ответ: нет , они не используются 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.