Estoy intentando instalar complementos en Gedit v3.36.2 con una instalación limpia de Ubuntu 20.04. Estoy abriendo las preferencias pero marcar/desmarcar las distintas opciones no funciona: ¡Gedit no escucha!
Lo extraño es que puedo marcar/desmarcar solo una cierta cantidad de opciones (es decir, "Mostrar patrón de cuadrícula", "Habilitar ajuste de texto") pero cuando las cambio y salgo de 'Gedit', la configuración no se guarda.
También intenté cambiar las preferencias usando dconf-editorpero nuevamente, no puedo cambiar valores específicos.
Intenté restablecer la configuración ejecutando dconf reset -f /org/gnome/gedit/pero aparece error: The given address is empty.
Tenga en cuenta que Gedit se está ejecutando en un host remoto y estoy accediendo a él. Además, no tengo derechos de sudo, por lo que la solución se encuentra enNo puedo hacer clic en las casillas de verificación en las preferencias de geditno se puede aplicar.
¿Alguna idea sobre cómo solucionar eso?