Comment 0 for bug 1880806

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

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)