Как изменить расширение gnome

Question

Конкретно этот -Эффекты размытия Windows | Расширения оболочки GNOMEкоторый размывает неактивные окна.

Хочу иметь возможность исключить некоторые окна. И такая функция должна быть уже там (в README на github она отмечена как закрытая в версии 3). Но все, что я нашел, это:

const excludeList = []; // an array of wm-class to be excluded from filters

внутри extension.js. Итак, 2 вопроса:

1. Этот массив — то, что я ищу?
2. Если да, и я его исправлю, скажем, ["Firefox"] - как сделать изменения активными (нужно ли мне "перекомпилировать" это расширение.js)? Простое сохранение изменений и включение/выключение расширения ничего не меняет..

Answer 1

Возможно, вам придется перезапустить оболочку GNOME, чтобы увидеть эффект внесенных изменений.

Если вы находитесь в сеансе Xorg, нажмите alt+ f2, затем введите rи нажмите enter.

Если вы находитесь в сеансе Wayland, то вышеизложенное не сработает: перезагрузите систему или выйдите из системы и войдите в нее снова.