[gedit] Bug 698568 - Fix external tools manager to expand horizontally
- From: Garrett Regier <gregier src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gedit] Bug 698568 - Fix external tools manager to expand horizontally
- Date: Fri, 12 Jul 2013 18:45:35 +0000 (UTC)
commit b949ad1767f746450b1b9c4e76de20150102cf5e
Author: Garrett Regier <garrett yorba org>
Date: Fri Jul 12 09:26:34 2013 -0700
Bug 698568 - Fix external tools manager to expand horizontally
plugins/externaltools/tools/tools.ui | 1 +
1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 8f6d57b..a77bfb3 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -605,6 +605,7 @@
<object class="GtkScrolledWindow" id="scrolledwindow1">
<property name="visible">True</property>
<property name="can_focus">True</property>
+ <property name="hexpand">True</property>
<property name="vexpand">True</property>
<property name="shadow_type">in</property>
<child>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]