Estou tentando instalar plug-ins no Gedit v3.36.2 em uma instalação limpa do Ubuntu 20.04. Estou abrindo as preferências, mas marcar/desmarcar as várias opções não funciona: o Gedit não escuta!
O estranho é que posso marcar/desmarcar apenas uma certa quantidade de opções (ou seja, "Exibir padrão de grade", "Ativar quebra automática de texto"), mas quando eu as altero e saio do 'Gedit", as configurações não são salvas.
Também tentei alterar as preferências usando, dconf-editormas, novamente, não consigo alterar valores específicos.
Tentei redefinir a configuração executando, dconf reset -f /org/gnome/gedit/mas recebo error: The given address is empty.
Observe que o Gedit está sendo executado em um host remoto e estou fazendo ssh nele. Além disso, não tenho direitos sudo, então a solução encontrada emNão é possível clicar nas caixas de seleção nas preferências do geditnão pode ser aplicado.
Alguma ideia de como resolver isso?