> Out of curiosity, is this something that you are able to reproduce, or is it just on my system?
The issue seems specific to your system. Could you do $ gsettings monitor org.gnome.gedit.preferences.editor display-line-numbers change the setting in gedit and see if there is a change printed and $ dpkg -l | grep dconf and could you try if doing $ gsettings set org.gnome.gedit.preferences.editor display-line-numbers false works and keeps the change? -- 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
