Как я могу скрыть главную панель в Ubuntu 18.04 Gnome 3.28?
Как hide-top-bar расширение может быть установлено?
Сначала откройте терминал и установку chrome-gnome-shell
пакет:
sudo apt install chrome-gnome-shell
Затем установите одно из этих расширений:
Наконец, направляйтесь в страницу GNOME Extensions для, "Скрывают Главную Панель" расширение и включают Выключатель для расширения установки.
У меня была та же проблема об удалении главной панели. То, что я делаю, взломать CSS темы и отредактировать ее на месте.
Отредактируйте/usr/share/gnome-shell/theme/ubuntu.css, добавьте к нижней части
#panel, #panel * {
height: 0px;
color: rgba(0,0,0,0);
}
Главная панель там, но не будет видима и не может взаимодействовать с пользователем.
Самое простое и прокладывающий себе путь, который я нашел, должны установить Тире к панели расширение GNOME. Работы как очарование.
Можно переключить это от самого браузера.
Для ссылки, тонких настроек гнома установки и выполненный:
sudo apt install gnome-shell-extension-autohidetopbar
Затем выйдите из системы и въезжайте задним ходом. Опция к автоматическому скрывается, главная панель будет доступна от инструмента тонких настроек гнома в разделе расширений.
Ре: Отредактируйте/usr/share/gnome-shell/theme/ubuntu.css, добавьте к нижней части:
#panel, #panel * {
height: 0px;
color: rgba(0,0,0,0);
}
"Главная панель там, но не будет видима и не может взаимодействовать с пользователем".
По моему опыту, в 18,04, после внесения этого изменения главная панель действительно исчезает, но все еще освещает единственный пиксель глубокая панель, оранжевая, когда мышь указывает на активную область на вершине экрана, затем при щелчке левой кнопкой мыши, Вы получаете выпадающее как нормальное.