Jak mogę ukryć górny pasek w Gnome 3.28 Ubuntu 18.04?
Jak zainstalować rozszerzenie ukrytego górnego paska?
gnome-shell
gnome-shell-extension
gnome-tweak-tool
top-bar
philoopher97
źródło
źródło
W celach informacyjnych zainstaluj gnome-tweaks i uruchom:
Następnie wyloguj się i zaloguj ponownie. Opcja automatycznego ukrywania górnego paska będzie dostępna w narzędziu gnome-tweaks w sekcji rozszerzeń.
źródło
Miałem ten sam problem z usunięciem górnego paska. To, co robię, to włamanie się do motywu css i edycja go w miejscu.
Edytuj /usr/share/gnome-shell/theme/ubuntu.css, dodaj do dołu
Górny pasek jest tam, ale nie będzie widoczny i nie będzie mógł wchodzić w interakcje z użytkownikiem.
źródło
Najprostszym i działającym sposobem, jaki znalazłem, jest zainstalowanie rozszerzenia GNOME Dash-to-Panel. Działa jak marzenie.
Rozszerzenie do panelu
Możesz przełączyć go z poziomu samej przeglądarki.
źródło
Odp: Edytuj /usr/share/gnome-shell/theme/ubuntu.css, dodaj na dole:
„Górny pasek jest tam, ale nie będzie widoczny i nie będzie mógł wchodzić w interakcje z użytkownikiem”.
Z mojego doświadczenia z 18.04 r., Po wprowadzeniu tej zmiany, górny pasek znika, ale nadal świeci pomarańczowy pasek o głębokości jednego piksela, gdy mysz wskazuje na aktywny obszar na górze ekranu, a następnie kliknięcie lewym przyciskiem myszy powoduje pobierz menu jak zwykle.
źródło