Autohide Top Bar — новое расширение GNOME Shell, которое автоматически скрывает Top Bar (панель), но оно не просто приносит в вашу систему функцию автоскрытия — это расширение также дает вам возможность двойным кликом по панели включать или отключать автоскрытие.
Если двойной клик не так, как вам бы хотелось, включает или выключает автоскрытие, откройте файл «extension.js» и увеличьте значение «const TIME_DELTA» (примерно 2000-2500)
Так как я не могу сделать скриншот автоскрытия Top Bar’а, я сделал короткий фильм, описывающий это расширение:
Чтобы установить это расширение, распакуйте загруженный архив и скопируйте папку «Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра.» в ~/.local/share/gnome-shell/extensions/, затем нажмите ALT + F2 и наберите ‘r’ для перезапуска GNOME Shell
Загрузить расширение GNOME Shell Autohide Top Bar.