Como alterar a extensão do gnome

Question

Especificamente este - Efeitos do Windows Blur | Extensões do Shell do GNOME que desfazem janelas inativas.

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

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

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

1. Esse array é o que eu estou procurando?
2. Se sim, e eu emendá-lo com, digamos, ["Firefox"] - como fazer alterações ativas (preciso "recompilar" essa extensão.js)? Simples salvar as alterações e desligar / ligar a extensão não faz qualquer diferença.

Answer 1

Você pode ter que 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 r e pressione enter .

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