Embedded terminal plugin: introspect gnome-terminal's GSettings to avoid a crash
Embedded terminal plugin: introspect gnome-terminal's GSettings to avoid a crash.
See for example the crash fixed by: commit 71a34647
GSettings has everything needed to introspect whether a key exists before using it, so it would be very useful to use that for all external GSettings that we use.