Как я могу скрыть верхнюю панель в Gnome 3.28 Ubuntu 18.04?
Как можно установить расширение Hide-Top-Bar?
gnome-shell
gnome-shell-extension
gnome-tweak-tool
top-bar
philoopher97
источник
источник
Для справки установите gnome-tweaks и запустите:
Затем выйдите из системы и вернитесь обратно. Опция автоматического скрытия верхней панели будет доступна из инструмента gnome-tweaks в разделе расширений.
источник
У меня была та же проблема с удалением верхней панели. Что я делаю, так это взломаю тему css и отредактирую ее на месте.
Отредактируйте /usr/share/gnome-shell/theme/ubuntu.css, добавьте вниз
Верхняя панель есть, но она не видна и не может взаимодействовать с пользователем.
источник
Самый простой и удобный способ, который я нашел, - установить расширение Dash-to-Panel GNOME. Работает как шарм.
Расширение Dash to Panel
Вы можете переключать его из самого браузера.
источник
Re: Редактировать /usr/share/gnome-shell/theme/ubuntu.css, добавить внизу:
«Верхняя панель есть, но она не видна и не может взаимодействовать с пользователем».
По моему опыту в 18.04, после внесения этого изменения верхняя полоса действительно исчезает, но по-прежнему загорается оранжевой полосой глубиной в один пиксель, когда мышь указывает на активную область в верхней части экрана, а затем, если вы щелкнете левой кнопкой мыши, вы получите выпадающий как обычно.
источник