-
É o plugin da Lista de Janelas, o mesmo usado na sessão padrão do Gnome Shell, que vem em
gnome-shell-extensions
package. É o nome completo:[email protected]
Instalado em:
/usr/share/gnome-shell/extensions/
-
O que parece acontecer é que a sessão do Gnome Classic a utiliza como um plugin obrigatório. Por isso, ignorar desativá-lo. (Usando
gnome-tweak-tool
) -
Para se livrar dele, mova-o para outro lugar ou exclua-o
sudo rm -r /usr/share/gnome-shell/extensions/[email protected]
-
Para reativá-lo, copie-o de volta ou reinstale
gnome-shell-extensions
.sudo apt-get install --reinstall gnome-shell-extensions