Ah right makes sense! So I should have reported there in the first
place. The reason I was confused is I thought that *only* the status bar
problem concerned Gnome, not the preferences, but I see now that is not
the case.
Thanks!
--
You received this bug notification because you are a member of
Thanks. I've opened https://gitlab.gnome.org/GNOME/gedit/-/issues/330.
I am actually a bit confused by your answer, could you please help me
understand a few things?
1. How is the statusbar different from the preferences dialog? Why isn't it
supposed to edit gedit preferences?
2. I'm
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
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.
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
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
> 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
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
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
--
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
Public bug reported:
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
I have the same problem with Sony wh-1000xm3 and Ubuntu 19.10.
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-control-center in Ubuntu.
https://bugs.launchpad.net/bugs/1845046
Title:
Bluetooth headphones/speaker default to
12 matches
Mail list logo
