[gnome-terminal] profile: Remove empty space at the top of the General tab
- From: Debarshi Ray <debarshir src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-terminal] profile: Remove empty space at the top of the General tab
- Date: Tue, 8 Jul 2014 12:54:31 +0000 (UTC)
commit a585b60d40b458252e421fae1905d70d846220e1
Author: Debarshi Ray <debarshir gnome org>
Date: Mon Jun 30 18:14:34 2014 +0200
profile: Remove empty space at the top of the General tab
... by making the GtkTable expand and fill.
https://bugzilla.gnome.org/show_bug.cgi?id=724110
src/profile-preferences.ui | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/src/profile-preferences.ui b/src/profile-preferences.ui
index 12f2251..f06fb78 100644
--- a/src/profile-preferences.ui
+++ b/src/profile-preferences.ui
@@ -526,8 +526,8 @@
</child>
</object>
<packing>
- <property name="expand">False</property>
- <property name="fill">False</property>
+ <property name="expand">True</property>
+ <property name="fill">True</property>
<property name="position">0</property>
</packing>
</child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]