Jak ukryć panel GNOME 3?

22

Czy jest jakaś możliwość automatycznego ukrywania panelu w sesji GNOME? Na zdjęciu poniżej wybrałem obszar, co mam na myśli.

Obraz górnego panelu Ubuntu 15.10 gnome 3.18

FieryCod
źródło
3
Nie sądzę, żeby to było możliwe. Ale użycie compizconfig-settings-manageropisanego tutaj jest być może opcją.
Dimitri Podborski
3
@incBrain GNOME i compiz to zupełnie inne rzeczy.
AB

Odpowiedzi:

27

Korzystanie z rozszerzenia GNOME o nazwie Ukryj górny pasek .

wprowadź opis zdjęcia tutaj

Skonfiguruj rozszerzenie w przeglądarce Firefox lub za pomocą Tweak Tool

wprowadź opis zdjęcia tutaj

AB
źródło
Jeśli zastanawiasz się, gdzie dokładnie w narzędziu Tweak można znaleźć powyższe, znajdziesz go w części Rozszerzenia: i.stack.imgur.com/tB1Fa.png
bgoodr
Uwaga: na panelu bocznym pojawia się również to, czego możesz potrzebować. Możesz to kontrolować również za pomocą narzędzia Tweak Tool na dole: i.stack.imgur.com/IKdh5.png
bgoodr
17

W moim Ubuntu 18.04 udało mi się osiągnąć pożądane zachowanie w następujący sposób.

  1. Zainstalowano rozszerzenie powłoki Dash to Panel GNOME.
    Aby go zainstalować, po prostu wyszukaj „Dash to Panel” w oprogramowaniu Ubuntu.
  2. Po zainstalowaniu kliknij prawym przyciskiem myszy przycisk „pokaż aplikacje” na pasku zadań i kliknij „Dash to Panel Settings”.
  3. Wybrałem Panel Intellihide .”.
  4. Możesz edytować więcej ustawień, klikając „przycisk ustawień” obok Intellihide

Dash to panel
prawy górny róg
ustawienia
intellihide on

PRATAP
źródło
Fajnie, ale to wymusza panel w górnej lub dolnej pozycji, a nie w lewo lub w prawo: - /
Hugues M.,