Autohide Top Bar для Gnome Shell 3.4
Jun. 1st, 2012 07:11 pm![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Autohide Top Bar для Gnome Shell 3.4
Autohide Top Bar - это плагин для GNOME Shell, который позволяет включать/выключать автоматическое скрытие верхней панели простым двойным кликом по ней. Теперь данный плагин поддерживает GNOME Shell 3.4, и соответственно Ubuntu 12.04 Precise Pangolin.
Если вы до этого не пользовались данным плагином, а описание выше вам не помогло представить как он работает, то вот небольшая демонстрация:
Если вы до этого не пользовались данным плагином, а описание выше вам не помогло представить как он работает, то вот небольшая демонстрация:
Установка GNOME Shell Autohide Top Bar
Что бы установить 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
sudo apt-get update
sudo apt-get install gnome-shell-extensions-autohidetopbar
После установки перезагрузите GNOME Shell и активируйте плагин с помощью приложения GNOME Tweak Tool.
Если вы не пользуетесь Ubuntu, то можете скачать расширение отсюда: launchpad.net.
http://ubuntovod.ru/soft/autohide-top-bar.html