Score:1

Ubuntu 20.04: Gedit preferences manager does not allow interactions

id flag

I am trying to install plugins on Gedit v3.36.2 under a clean Ubuntu 20.04 installation. I'm opening the preferences but I checking/unchecking the various options doesn't work: Gedit doesn't listen!

The weird thing is that I can check/uncheck only a certain amount of options (i.e. "Display grid pattern", "Enable text wrapping") but when I change those and quit 'Gedit" then the settings aren't saved.

I also tried changing the preferences using dconf-editor but again, I cannot change specific values.

I tried to reset the configuration by running dconf reset -f /org/gnome/gedit/ but I get error: The given address is empty.

Note that Gedit is running on a remote host and I'm ssh-ing to it. Also I don't have sudo rights so the solution found in Can not click checkboxes in preferences in gedit cannot be applied.

Any idean on how to solve that?

mangohost

Post an answer

Most people don’t grasp that asking a lot of questions unlocks learning and improves interpersonal bonding. In Alison’s studies, for example, though people could accurately recall how many questions had been asked in their conversations, they didn’t intuit the link between questions and liking. Across four studies, in which participants were engaged in conversations themselves or read transcripts of others’ conversations, people tended not to realize that question asking would influence—or had influenced—the level of amity between the conversationalists.