[gedit-plugins] terminal: fix crash caused by removed gnome-terminal GSettings key

[Sébastien Wilmet <swilmet src gnome org>]

commit 71a34647f849782bb4d87e3016fe7a60909eebb2
Author: André Apitzsch <git apitzsch eu>
Date:   Mon Mar 9 18:49:40 2020 +0100

    terminal: fix crash caused by removed gnome-terminal GSettings key
    
    The key has been removed from gnome-terminal by commit
    https://gitlab.gnome.org/GNOME/gnome-terminal/-/commit/72dc2cf6972656da24f571d3bb314e17b73a7cf0.
    
    Fixes #14.

 plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml | 7 -------
 plugins/terminal/terminal.py                                  | 1 -
 2 files changed, 8 deletions(-)
---
diff --git a/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml 
b/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
index 2aaaf23..d436cbd 100644
--- a/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
+++ b/plugins/terminal/org.gnome.gedit.plugins.terminal.gschema.xml
@@ -56,13 +56,6 @@
         to the bottom.
       </description>
     </key>
-    <key name="allow-bold" type="b">
-      <default>true</default>
-      <summary>Whether to allow bold text</summary>
-      <description>
-        If true, allow applications in the terminal to make text boldface.
-      </description>
-    </key>
     <key name="foreground-color" type="s">
       <default>'#000000'</default>
       <summary>Default color of text in the terminal</summary>
diff --git a/plugins/terminal/terminal.py b/plugins/terminal/terminal.py
index 69f5f38..23c1c52 100644
--- a/plugins/terminal/terminal.py
+++ b/plugins/terminal/terminal.py
@@ -144,7 +144,6 @@ class GeditTerminal(Vte.Terminal):
         self.set_cursor_blink_mode(self.profile_settings.get_enum("cursor-blink-mode"))
         self.set_cursor_shape(self.profile_settings.get_enum("cursor-shape"))
         self.set_audible_bell(self.profile_settings.get_boolean("audible-bell"))
-        self.set_allow_bold(self.profile_settings.get_boolean("allow-bold"))
         self.set_scroll_on_keystroke(self.profile_settings.get_boolean("scroll-on-keystroke"))
         self.set_scroll_on_output(self.profile_settings.get_boolean("scroll-on-output"))
         self.set_audible_bell(self.defaults['audible_bell'])