[gnome-terminal] profile: editor: Demote "Allow bold text" to a hidden pref
- From: Egmont Koblinger <egmontkob src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] profile: editor: Demote "Allow bold text" to a hidden pref
- Date: Sat, 9 Dec 2017 20:25:09 +0000 (UTC)
commit fcac20fcc7b76cd5abb1e50af632584abf42647d
Author: Egmont Koblinger <egmont gmail com>
Date: Sat Dec 9 21:23:14 2017 +0100
profile: editor: Demote "Allow bold text" to a hidden pref
https://bugzilla.gnome.org/show_bug.cgi?id=762247
src/profile-editor.c | 4 ----
src/profile-preferences.ui | 32 +++++++-------------------------
2 files changed, 7 insertions(+), 29 deletions(-)
---
diff --git a/src/profile-editor.c b/src/profile-editor.c
index 9f5c68b..d94c8ec 100644
--- a/src/profile-editor.c
+++ b/src/profile-editor.c
@@ -931,10 +931,6 @@ terminal_profile_edit (GSettings *profile,
(GSettingsBindGetMapping)
string_to_window_title, NULL, NULL, NULL);
- g_settings_bind (profile,
- TERMINAL_PROFILE_ALLOW_BOLD_KEY,
- gtk_builder_get_object (builder, "allow-bold-checkbutton"),
- "active", G_SETTINGS_BIND_GET | G_SETTINGS_BIND_SET);
g_settings_bind_with_mapping (profile,
TERMINAL_PROFILE_BACKGROUND_COLOR_KEY,
gtk_builder_get_object (builder,
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index cd59808..bf79be9 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -174,7 +174,7 @@
<object class="GtkTable" id="general-table">
<property name="visible">True</property>
<property name="can_focus">False</property>
- <property name="n_rows">9</property>
+ <property name="n_rows">8</property>
<property name="n_columns">4</property>
<property name="column_spacing">12</property>
<property name="row_spacing">6</property>
@@ -401,24 +401,6 @@
</packing>
</child>
<child>
- <object class="GtkCheckButton" id="allow-bold-checkbutton">
- <property name="label" translatable="yes">_Allow bold text</property>
- <property name="visible">True</property>
- <property name="can_focus">True</property>
- <property name="receives_default">False</property>
- <property name="margin_left">12</property>
- <property name="use_underline">True</property>
- <property name="xalign">0</property>
- <property name="draw_indicator">True</property>
- </object>
- <packing>
- <property name="right_attach">4</property>
- <property name="top_attach">6</property>
- <property name="bottom_attach">7</property>
- <property name="y_options">GTK_FILL</property>
- </packing>
- </child>
- <child>
<object class="GtkCheckButton" id="rewrap-on-resize-checkbutton">
<property name="label" translatable="yes">_Rewrap on resize</property>
<property name="visible">True</property>
@@ -431,8 +413,8 @@
</object>
<packing>
<property name="right_attach">4</property>
- <property name="top_attach">7</property>
- <property name="bottom_attach">8</property>
+ <property name="top_attach">6</property>
+ <property name="bottom_attach">7</property>
<property name="y_options">GTK_FILL</property>
</packing>
</child>
@@ -448,8 +430,8 @@
<property name="draw_indicator">True</property>
</object>
<packing>
- <property name="top_attach">8</property>
- <property name="bottom_attach">9</property>
+ <property name="top_attach">7</property>
+ <property name="bottom_attach">8</property>
<property name="y_options">GTK_FILL</property>
</packing>
</child>
@@ -465,8 +447,8 @@
<packing>
<property name="left_attach">1</property>
<property name="right_attach">4</property>
- <property name="top_attach">8</property>
- <property name="bottom_attach">9</property>
+ <property name="top_attach">7</property>
+ <property name="bottom_attach">8</property>
<property name="x_options">GTK_FILL</property>
<property name="y_options">GTK_FILL</property>
</packing>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]