Софт

GNOME Shell Autohide Top Bar

Обновилось расширение GNOME Shell Autohide Top Bar для работы с GNOME Shell 3.2. Это расширение, изначально написанное fpmurphy'ом, позволяет вам скрывать верхнюю панель GNOME Shell с помощью двойного клика по ней. Чтобы отключить автоскрытие, снова дважды нажмите на панель.

gnome32-2

Вот видео, которое мы нашли в контакте, демонстрирующее расширение 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).

Добавить комментарий


Защитный код
Обновить

Аккаунт



Подпишись на нашу RSS

Go to top