[gnome-terminal] profile: Remove useless placeholders and fix the layout
- From: Debarshi Ray <debarshir src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] profile: Remove useless placeholders and fix the layout
- Date: Thu, 10 Jul 2014 12:47:50 +0000 (UTC)
commit 9b5b2d439a49f4be7fea76db1196901b8cb251d2
Author: Debarshi Ray <debarshir gnome org>
Date: Wed Jul 9 13:51:41 2014 +0200
profile: Remove useless placeholders and fix the layout
https://bugzilla.gnome.org/show_bug.cgi?id=724110
src/profile-preferences.ui | 28 +++++++++-------------------
1 files changed, 9 insertions(+), 19 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index 99d1c84..de901ee 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -1490,14 +1490,11 @@
<property name="visible">True</property>
<property name="can_focus">False</property>
<property name="border_width">12</property>
- <property name="n_rows">5</property>
+ <property name="n_rows">4</property>
<property name="n_columns">2</property>
<property name="column_spacing">12</property>
<property name="row_spacing">6</property>
<child>
- <placeholder/>
- </child>
- <child>
<object class="GtkCheckButton" id="scroll-on-keystroke-checkbutton">
<property name="label" translatable="yes">Scroll on _keystroke</property>
<property name="visible">True</property>
@@ -1510,6 +1507,7 @@
<property name="right_attach">1</property>
<property name="top_attach">2</property>
<property name="bottom_attach">3</property>
+ <property name="x_options">GTK_SHRINK | GTK_FILL</property>
<property name="y_options"/>
</packing>
</child>
@@ -1526,6 +1524,7 @@
<property name="right_attach">1</property>
<property name="top_attach">1</property>
<property name="bottom_attach">2</property>
+ <property name="x_options">GTK_SHRINK | GTK_FILL</property>
<property name="y_options"/>
</packing>
</child>
@@ -1542,24 +1541,11 @@
<property name="right_attach">1</property>
<property name="top_attach">3</property>
<property name="bottom_attach">4</property>
+ <property name="x_options">GTK_SHRINK | GTK_FILL</property>
<property name="y_options"/>
</packing>
</child>
<child>
- <object class="GtkHBox" id="hbox139">
- <property name="visible">True</property>
- <property name="can_focus">False</property>
- <child>
- <placeholder/>
- </child>
- </object>
- <packing>
- <property name="left_attach">1</property>
- <property name="right_attach">2</property>
- <property name="y_options">GTK_FILL</property>
- </packing>
- </child>
- <child>
<object class="GtkHBox" id="scrollback-box">
<property name="visible">True</property>
<property name="can_focus">False</property>
@@ -1599,6 +1585,8 @@
<property name="right_attach">2</property>
<property name="top_attach">3</property>
<property name="bottom_attach">4</property>
+ <property name="x_options">GTK_EXPAND | GTK_FILL</property>
+ <property name="y_options"/>
</packing>
</child>
<child>
@@ -1614,11 +1602,13 @@
<property name="right_attach">1</property>
<property name="top_attach">0</property>
<property name="bottom_attach">1</property>
+ <property name="x_options">GTK_SHRINK | GTK_FILL</property>
+ <property name="y_options"/>
</packing>
</child>
</object>
<packing>
- <property name="position">4</property>
+ <property name="position">3</property>
</packing>
</child>
<child type="tab">
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]