Обновилось расширение GNOME Shell Autohide Top Bar для работы с GNOME Shell 3.2. Это расширение, изначально написанное fpmurphy’ом, позволяет вам скрывать верхнюю панель GNOME Shell с помощью двойного клика по ней. Чтобы отключить автоскрытие, снова дважды нажмите на панель.
Вот видео, которое мы нашли в контакте, демонстрирующее расширение GNOME Shell Autohide Top Bar — это старое видео, но обновлённое расширение работает по тому же принципу.
Это расширение доступно в репозитории WebUpd8 GNOME 3 PPA — добавьте PPA и установите его, используя команды ниже:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar
Если вы устанавливали оригинальное расширение Autohide Top Bar, удалите его перед установкой этого!
После установки, перезапустите GNOME Shell и активируйте новое расширение с помощью GNOME Tweak Tool.
Если включение/отключение автоскрытия не работает корректно, или вы просто хотите изменить значение, откройте файл «extension.js»:
gksu gedit /usr/share/gnome-shell/extensions/ Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра. /extension.js
И увеличьте значение «const TIME_DELTA» для того, что подходит вам
Если вы не используете Ubuntu, загрузите это расширение отсюда, распакуйте его и поместите папку в /usr/share/gnome-shell/extensions (или ~/.local/share/gnome-shell/extensions).