Não é possível renomear extensões de gnome

Question

Desativei todas as extensões do gnome com o Gnome Tweak Tool clicando na opção que aparece na parte superior de todas as extensões para desativar todas em um clique. Agora tudo está desabilitado e o interruptor no topo também desapareceu. Eu tentei reiniciar, mas a ferramenta tweak ainda não permite ativar mais nenhuma extensão:

Eutambémtenteicom link , mas até mesmo ativá-los manualmente (clicando no botão liga / desliga) funciona. O switch mostra "on", mas a extensão não está realmente ativada. Recarregar a página mostra tudo.

    

Answer 1

... ok, eu descobri como resolvê-lo.

dconf-editor
/org/gnome/shell/disable-user-extensions <- false

Parece que essa ferramenta de ajuste tem um bug ...