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
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
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to