Есть ли известный способ скрыть панель в Gnome 3? Я хочу, чтобы он был скрыт по умолчанию и виден только при уменьшении масштаба. Так же, как с рабочими пространствами и значками приложений.
1 ответ
3
Попробуйте gnome-shell-extension-autohidetopbar (RPM). Дважды щелкните панель, чтобы включить автоматическое скрытие.