[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-10 Thread Balazs Gyurak
Ah! I see why we have a discrepancy. I'm sorry, I was not explicit
enough with my repro steps. Following your steps, it works for me as
well.

What I am doing is the following:
- ctrl+alt+T
- $ gedit
- first line is highlighted by default
- *** open the "Ln1, Col 1" menu in the bottom right corner ***
- uncheck "Highlight current line"
- first line is NOT highlighted now
- close gedit
- in the terminal: $ gedit 
- first line is highlighted again

So, it seems that the quick menu in the bottom right corner is the one
that's not working. I do not go into the "Preferences" dialog at all.

If this doesn't help, I can do a video of the problem.

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-10 Thread Sebastien Bacher
Could you do a screencast/video of the issue?

Yes I just tried with a fresh ISO
- downloaded a focal desktop amd64 iso
- started it in VM on the live session
- ctrl-alt-T

$ gedit

- opened the popdown menu
- selected preferences
- unselected the checkbox for the 'highlight selected line'

verified that the first emtpy line is selected

- closed gedit
- type gedit on the command line again

gedit opens with the first line not selected

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-09 Thread Balazs Gyurak
I do not believe that this problem is specific to my system. I just
created a VM and did a fresh install of 20.04, and I can reproduce the
issue there as well.

Here are the steps I followed:
1. Created an Ubuntu 64 bit VM in VirtualBox
2. Downloaded the latest 20.04 image from Ubuntu.com
3. Installed it (all defaults, only clicked "next" in the install wizard)
4. Started Ubuntu, and performed the same exact repro steps right away as I 
mentioned in the bug description

The issue is there.

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-09 Thread Balazs Gyurak
Did you manage to reproduce it on your system or a clean installation?

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-09 Thread Balazs Gyurak
Yes, I start gedit with my own user. I tried with `sudo gedit`, as well
as with another, freshly created non-admin user. The issue is present
with both.

Nautilus is correctly saving preferences. I am not sure what other
applications use gsettings under the hood, so I don't know what else I
can try.

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-08 Thread Sebastien Bacher
Weird, do you start gedit with your user? Do changes to other
applications (e.g nautilus) are correctly stored? Could you maybe try
with another user account on the same computer to see if that has the
issue?

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-05 Thread Balazs Gyurak
> The issue seems specific to your system.
Interesting, I assumed it was a bug with Focal. I appreciate you taking the 
time to look into it!

> change the setting in gedit and see if there is a change printed
No change is printed while 'gsettings monitor' is running. Tried with other 
'org.gnome.gedit.preferences.editor' keys as well. I presume this is why it 
doesn't persist? The change made on the UI does not get through to gsettings?

> gsettings set org.gnome.gedit.preferences.editor display-line-numbers false
Yes this works, setting the properties with the above command persists as 
expected.

> $ dpkg -l | grep dconf
ii  dconf-cli   0.36.0-1
  amd64simple configuration storage system 
- utilities
ii  dconf-editor3.36.0-1
  amd64simple configuration storage system 
- graphical editor
ii  dconf-gsettings-backend:amd64   0.36.0-1
  amd64simple configuration storage system 
- GSettings back-end
ii  dconf-service   0.36.0-1
  amd64simple configuration storage system 
- D-Bus service
ii  libdconf1:amd64 0.36.0-1
  amd64simple configuration storage system 
- runtime library

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-05 Thread Sebastien Bacher
> 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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-04 Thread Balazs Gyurak
Ah ok got you. There is absolutely nothing in those logs, apart from the
normal messages. The log snippet below was produced by following the
repro steps above.

Out of curiosity, is this something that you are able to reproduce, or
is it just on my system?


jún 04 19:47:54 balazs-thinkpad dbus-daemon[2597]: [session uid=1000 pid=2597] 
Activating service name='org.gnome.gedit' requested by ':1.53' (uid=1000 
pid=2922 comm="/usr/bin/gnome-shell " label="unconfined")
jún 04 19:47:54 balazs-thinkpad dbus-daemon[2597]: [session uid=1000 pid=2597] 
Successfully activated service 'org.gnome.gedit'
jún 04 19:48:07 balazs-thinkpad dbus-daemon[2597]: [session uid=1000 pid=2597] 
Activating service name='org.gnome.gedit' requested by ':1.53' (uid=1000 
pid=2922 comm="/usr/bin/gnome-shell " label="unconfined")
jún 04 19:48:07 balazs-thinkpad dbus-daemon[2597]: [session uid=1000 pid=2597] 
Successfully activated service 'org.gnome.gedit'

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-04 Thread Sebastien Bacher
the section when you start gedit is fine, you can do
$ journalctl -f

start gedit, change the settings

and see if anything gets printed in the journal

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-04 Thread Balazs Gyurak
There aren't any errors on the command line. Which portion of the
journalctl log would you need? The complete log from boot, or just when
I start gedit?

The reason I'm asking it that the boot logs contain some personal
information that I would need to redact if you need the whole lot.

Thanks

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-06-03 Thread Sebastien Bacher
Thank you for your bug report. Do you see any error if you start gedit
from a command line? Could you add the 'journalctl -b 0' log from the
session after getting the issue?

** Changed in: gedit (Ubuntu)
   Importance: Undecided => Low

** Changed in: gedit (Ubuntu)
   Status: New => Incomplete

-- 
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

[Bug 1880806] Re: Gedit unable to save preferences on 20.04

2020-05-27 Thread Balazs Gyurak
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