> The issue seems specific to your system.
Interesting, I assumed it was a bug with Focal. I appreciate you taking the
time to look into it!
> change the setting in gedit and see if there is a change printed
No change is printed while 'gsettings monitor' is running. Tried with other
'org.gnome.gedit.preferences.editor' keys as well. I presume this is why it
doesn't persist? The change made on the UI does not get through to gsettings?
> gsettings set org.gnome.gedit.preferences.editor display-line-numbers false
Yes this works, setting the properties with the above command persists as
expected.
> $ dpkg -l | grep dconf
ii dconf-cli 0.36.0-1
amd64 simple configuration storage system
- utilities
ii dconf-editor 3.36.0-1
amd64 simple configuration storage system
- graphical editor
ii dconf-gsettings-backend:amd64 0.36.0-1
amd64 simple configuration storage system
- GSettings back-end
ii dconf-service 0.36.0-1
amd64 simple configuration storage system
- D-Bus service
ii libdconf1:amd64 0.36.0-1
amd64 simple configuration storage system
- runtime library
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1880806
Title:
Gedit unable to save preferences on 20.04
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gedit/+bug/1880806/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
