[gnome-terminal] prefs: Remove the "Allow bold text" hidden setting

[Egmont Koblinger <egmontkob src gnome org>]

commit 72dc2cf6972656da24f571d3bb314e17b73a7cf0
Author: Egmont Koblinger <egmont gmail com>
Date:   Fri Oct 11 13:55:27 2019 +0200

    prefs: Remove the "Allow bold text" hidden setting
    
    https://bugzilla.gnome.org/show_bug.cgi?id=762247#c36

 src/org.gnome.Terminal.gschema.xml | 5 -----
 src/terminal-schemas.h             | 1 -
 src/terminal-screen.c              | 3 ---
 3 files changed, 9 deletions(-)
---
diff --git a/src/org.gnome.Terminal.gschema.xml b/src/org.gnome.Terminal.gschema.xml
index 72ae48bb..6367fe2c 100644
--- a/src/org.gnome.Terminal.gschema.xml
+++ b/src/org.gnome.Terminal.gschema.xml
@@ -199,11 +199,6 @@
       <summary>Whether to perform Arabic shaping</summary>
       <description>If true, shape Arabic text.</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="bold-is-bright" type="b">
       <default>false</default>
       <summary>Whether bold is also bright</summary>
diff --git a/src/terminal-schemas.h b/src/terminal-schemas.h
index 8f3b214b..4051a29b 100644
--- a/src/terminal-schemas.h
+++ b/src/terminal-schemas.h
@@ -30,7 +30,6 @@ G_BEGIN_DECLS
 #define TERMINAL_SETTINGS_LIST_SCHEMA   "org.gnome.Terminal.SettingsList"
 #define TERMINAL_PROFILES_LIST_SCHEMA   "org.gnome.Terminal.ProfilesList"
 
-#define TERMINAL_PROFILE_ALLOW_BOLD_KEY                 "allow-bold"
 #define TERMINAL_PROFILE_AUDIBLE_BELL_KEY               "audible-bell"
 #define TERMINAL_PROFILE_BOLD_IS_BRIGHT_KEY             "bold-is-bright"
 #define TERMINAL_PROFILE_BACKGROUND_COLOR_KEY           "background-color"
diff --git a/src/terminal-screen.c b/src/terminal-screen.c
index af68fc34..6e8c1c6e 100644
--- a/src/terminal-screen.c
+++ b/src/terminal-screen.c
@@ -836,9 +836,6 @@ terminal_screen_profile_changed_cb (GSettings     *profile,
     vte_terminal_set_enable_shaping (vte_terminal,
                                      g_settings_get_boolean (profile, TERMINAL_PROFILE_ENABLE_SHAPING_KEY));
 
-  if (!prop_name || prop_name == I_(TERMINAL_PROFILE_ALLOW_BOLD_KEY))
-    vte_terminal_set_allow_bold (vte_terminal,
-                                 g_settings_get_boolean (profile, TERMINAL_PROFILE_ALLOW_BOLD_KEY));
   if (!prop_name || prop_name == I_(TERMINAL_PROFILE_BOLD_IS_BRIGHT_KEY))
     vte_terminal_set_bold_is_bright (vte_terminal,
                                      g_settings_get_boolean (profile, TERMINAL_PROFILE_BOLD_IS_BRIGHT_KEY));