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

Автор mexx, 20 сентября 2013, 09:24:01

« назад - далее »

0 Пользователи и 1 гость просматривают эту тему.

mexx

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

ogost

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

mexx

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

seisros

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

mexx

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

seisros

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

mexx

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

Udachnik

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

mexx

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