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
