From 22bf3ad06b0ab4bc55d2ca78ebfaf3d57a05f2e7 Mon Sep 17 00:00:00 2001
From: Denis Fomin <fominde@gmail.com>
Date: Fri, 16 Aug 2013 00:44:59 +0400
Subject: [PATCH] Set XML console input box height

---
 data/gui/xml_console_window.ui | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/data/gui/xml_console_window.ui b/data/gui/xml_console_window.ui
index 66768dd9f..9891f5f26 100644
--- a/data/gui/xml_console_window.ui
+++ b/data/gui/xml_console_window.ui
@@ -222,11 +222,10 @@
                   <object class="GtkScrolledWindow" id="scrolledwindow42">
                     <property name="visible">True</property>
                     <property name="can_focus">True</property>
-                    <property name="hscrollbar_policy">never</property>
-                    <property name="vscrollbar_policy">never</property>
                     <property name="shadow_type">in</property>
                     <child>
                       <object class="GtkTextView" id="input_textview">
+                        <property name="height_request">120</property>
                         <property name="visible">True</property>
                         <property name="can_focus">True</property>
                         <property name="wrap_mode">char</property>