Como alterar a extensão do gnome

Question

Especificamente este -Efeitos de desfoque do Windows | Extensões do Shell do GNOMEque desfoca as janelas inativas.

Deseja poder excluir algumas janelas. E esse recurso já deve estar lá (no github README está marcado como fechado na versão 3). Mas tudo que encontrei é:

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

dentro da extensão.js. Então 2 perguntas:

1. Essa matriz é o que estou procurando?
2. Se sim, e eu altero com, digamos, ["Firefox"] - como tornar as alterações ativas (preciso "recompilar" esta extensão.js)? Simples salvar alterações e ligar/desligar a extensão não faz nenhuma diferença.

Answer 1

Talvez seja necessário reiniciar o shell do GNOME para ver o efeito das alterações feitas.

Se você estiver em uma sessão do Xorg, pressione alt+ f2, digite re pressione enter.

Se você estiver em uma sessão do Wayland, o procedimento acima não funcionará, reinicie o sistema ou saia e faça login novamente.