It's also worth mentioning that before upgrading to 20.04, I had both of those gedit settings off. Then I upgraded to 20.04, and that seemed to have enabled both those settings automatically.
I've upgraded from 19.10. ** Description changed: Hi, Since upgrading to Ubuntu 20.04, Gedit is unable to save preferences. By default, it came with the following: Display line numbers: on Display right margin: off Highlight current line: on Text wrapping: on I wanted to disable the first and third option, so I did. It works as long as gedit is open, but if I close and reopen it, the settings were reverted. Repro steps: 1. Open gedit 2. Toggle the "Highlight current line" preference 3. Close gedit 4. Open gedit again - 5. Observe that the "Highlight current line preference" is reverted to the original value + 5. Observe that the "Highlight current line" preference is reverted to the original value Expected behavior - Gedit presists preferences after Gedit persists preferences after closing & reopening Actual behavior: Gedit does not persist preferences after closing & reopening Workaround: Using gsettings seemed to do the trick. I've run: gsettings set org.gnome.gedit.preferences.editor highlight-current-line false gsettings set org.gnome.gedit.preferences.editor display-line-numbers false This persists the settings correctly, so I believe the bug is related to the UI. Additional information: OS: Ubuntu 20.04 Package: /usr/bin/gedit Version: 3.36.2-0ubuntu1 Thanks, Balazs ProblemType: Bug DistroRelease: Ubuntu 20.04 Package: gedit 3.36.2-0ubuntu1 ProcVersionSignature: Ubuntu 5.4.0-31.35-generic 5.4.34 Uname: Linux 5.4.0-31-generic x86_64 ApportVersion: 2.20.11-0ubuntu27 Architecture: amd64 CasperMD5CheckResult: skip CurrentDesktop: ubuntu:GNOME Date: Wed May 27 06:37:36 2020 InstallationDate: Installed on 2018-11-05 (568 days ago) InstallationMedia: Ubuntu 18.10 "Cosmic Cuttlefish" - Release amd64 (20181017.3) SourcePackage: gedit UpgradeStatus: Upgraded to focal on 2020-05-22 (4 days ago) -- 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
