Enabling the embedded terminal plugin crashes GEdit and subsequently prevents GEdit to start b/c of missing key in GSettings schema
Hi,
I'm using release 3.35.90 on Ubuntu 20.04 (development version). I found out that enabling the embedded terminal plugin in the application's preferences crashes GEdit with the following error on the standard output:
GLib-GIO-ERROR **: 18:56:20.046: Settings schema 'org.gnome.Terminal.Legacy.Profile' does not contain a key named 'allow-bold'
Trace/breakpoint trap (core dumped)
Subsequently trying to restart GEdit results in more instances of this error, until one removes 'terminal'
from the list of plugins in the key 'active-plugins'
of the schema 'org.gnome.gedit.plugins'
.
It turns out that the key 'allow-bold'
was removed from the schema 'org.gnome.Terminal.Legacy.Profile'
, defined in org.gnome.Terminal.gschema.xml
, by commit gnome-terminal@72dc2cf6 in October 2019. Can the source for GEdit's Terminal plugin be updated to reflect this change in GNOME-Terminal? Thanks a lot in advance.