«Autohide Top Bar», расширение GNOME Shell, которое позволяет вам выключать/выключать автоскрытие верхней панели GNOME Shell по двойному клику на ней, теперь доступно для GNOME Shell 3.4 и Ubuntu 12.04 Precise Pangolin.
Чтобы установить GNOME Shell Autohide Top Bar в Ubuntu 12.04 (для GNOME Shell 3.4), используйте команды ниже:
sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar
После установки перезапустите GNOME Shell и активируйте расширение, используя GNOME Tweak Tool.
Если выключение/выключение автоскрытия не работает корректно, или вы просто хотите сменить значение, откройте «extension.js»:
gksu gedit /usr/share/gnome-shell/extensions/Этот адрес электронной почты защищен от спам-ботов. У вас должен быть включен JavaScript для просмотра./extension.js
И смените значение «const TIME_DELTA» на что-то, что лучше подходит вам, а затем перезапустите GNOME Shell.
Если вы не используете Ubuntu, вы можете загрузить расширение отсюда.
Помимо Autohide Top Bar, на этой неделе были также обновлены ещё два расширения из репоизитория WebUpd8 GNOME 3 PPA, чтобы поддерживать GNOME Shell 3.4: Noa11y (расширение для удаления иконки Специальные возможности) и расширение GNOME Shell Window Overlay Icons (расширение, которое отображает иконку для каждого окна в Обзоре, что делает проще различение приложений).
Чтобы установить это расширение в Ubuntu, убедитесь, что вы добавили WebUpd8 GNOME 3 PPA, затем используйте следующие команды:
- чтобы установить Noa11y:
sudo apt-get install gnome-shell-extensions-noa11y
- чтобы установить GNOME Shell Window Overlay Icons:
sudo apt-get install gnome-shell-extensions-windowoverlay-icons