Как скрыть панель GNOME 3?

22

Есть ли возможность автоматически скрывать панель в сеансе GNOME? На рисунке ниже я выбрал область, что я имею в виду.

panel gnome-shell autohide

— FieryCod
источник

3

Я не думаю, что это возможно. Но использование, compizconfig-settings-managerкак описано здесь , возможно, вариант.

— Дмитрий Подборский

3

@incBrain GNOME и compiz - это совершенно разные вещи.

— AB

27

Использование расширения GNOME под названием Hide Top Bar .

Настройте расширение в своем Firefox или с Tweak Tool

— AB
источник

Если вы озадачены, где именно в Tweak Tool можно найти вышеупомянутое, оно находится под Расширениями: i.stack.imgur.com/tB1Fa.png

— bgoodr

Слово предостережения: боковая панель также показывает, что также может вам понадобиться. Вы также можете управлять этим с помощью Tweak Tool внизу: i.stack.imgur.com/IKdh5.png

— bgoodr

17

Мне удалось добиться желаемого поведения следующим образом в моей Ubuntu 18.04.

Установлено расширение оболочки Dash to Panel GNOME.
Чтобы установить его, просто найдите «Dash to Panel» в программном обеспечении Ubuntu.
После установки щелкните правой кнопкой мыши на кнопке «показать приложения» на панели задач и выберите «Настройки панели инструментов».
Я выбрал панель Intellihide "On".
Вы можете редактировать больше настроек, нажав кнопку «Настройки» рядом с Intellihide