[Решено] Скрыл панель с помощью Panel Settings

[mexx]

Ай. Изучал расширения, установил Panel Settings - https://extensions.gnome.org/extension/208/panel-settings/
И в настройках выбрал Overview Only - панель скрылась. Иногда удобно. Но как вернуть?

[ogost]

выключить этот экстеншн? прямо там, пройдя по ссылке, справа кнопочка он/офф.

[mexx]

Это понятно, так и сделал.
Но тогда перестает работать все расширение. А надо просто как-то вернуться к его настройкам.
Скорее всего какие-то горячие клавиши. Но какие?

[seisros]

Удали всё из папки пользователя и настройки будут с нуля.

[mexx]

Тоже понятно
Просто удалил расширение, а потом поставил заново - настройки обнулились на дефолтные.
Но вопрос не в том, как выйти из ситуации - так можно дойти и до переустановки системы...
Вопрос - как ШТАТНО получить доступ к настройкам этого расширения, чтобы их изменить?

[seisros]

Штатно? Редактор nano и терминал.

[mexx]

Да быть такого не может, это был бы слишком очевидный "недопил" расширения.
Нет, уверен, что есть горячая клавиша. Вот только какая...

[Udachnik]

Ай. Изучал расширения, установил Panel Settings - https://extensions.gnome.org/extension/208/panel-settings/
И в настройках выбрал Overview Only - панель скрылась. Иногда удобно. Но как вернуть?

Открыть режим обзора, вызвать меню и настроить панель обратно.

[mexx]

Ага. Разобрался.
Горячие клавиши вызова обзора Alt+F1 и потом меняем соответствующую настройку расширения.
Спасибо.