[gedit-latex] Show more space in jobs treeview

[Pietro Battiston <pbattiston src gnome org>]

commit 24a8bcfe7e8665047f78fd2f00514a00ea270409
Author: Pietro Battiston <pbattiston src gnome org>
Date:   Thu May 7 12:39:43 2015 +0200

    Show more space in jobs treeview

 data/ui/configure_tool.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/data/ui/configure_tool.ui b/data/ui/configure_tool.ui
index 6e48b32..79f90be 100644
--- a/data/ui/configure_tool.ui
+++ b/data/ui/configure_tool.ui
@@ -198,6 +198,7 @@
                         </child>
                         <child>
                           <object class="GtkScrolledWindow" id="scrolledwindow1">
+                            <property name="height_request">100</property>
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="shadow_type">in</property>