terminal: more complete check before using gnome-terminal GSettings
See also the previous commits. Fixes https://gitlab.gnome.org/GNOME/gedit-plugins/-/issues/20
parent
c9306330
Please register or sign in to comment
See also the previous commits. Fixes https://gitlab.gnome.org/GNOME/gedit-plugins/-/issues/20