> 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
Desktop Bugs, which is subscribed to gedit in 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

-- 
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs

Reply via email to