[gedit] externaltools: readd the GeditView and fix expansion flag

[Ignacio Casal Quinteiro <icq src gnome org>]

commit e8c228be022deb2b3c4373330b060a4bced09983
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Mon Jun 13 17:42:00 2011 +0200

    externaltools: readd the GeditView and fix expansion flag

 plugins/externaltools/tools/manager.py |    8 ++++----
 plugins/externaltools/tools/tools.ui   |   17 +++++++++++++++++
 2 files changed, 21 insertions(+), 4 deletions(-)
---
diff --git a/plugins/externaltools/tools/manager.py b/plugins/externaltools/tools/manager.py
index a8b5e7b..a316dc1 100644
--- a/plugins/externaltools/tools/manager.py
+++ b/plugins/externaltools/tools/manager.py
@@ -505,10 +505,10 @@ class Manager:
     def clear_fields(self):
         self['accelerator'].set_text('')
 
-	buf = self['commands'].get_buffer()
-	buf.begin_not_undoable_action()
-	buf.set_text('')
-	buf.end_not_undoable_action()
+        buf = self['commands'].get_buffer()
+        buf.begin_not_undoable_action()
+        buf.set_text('')
+        buf.end_not_undoable_action()
 
         for nm in ('input', 'output', 'applicability', 'save-files'):
             self[nm].set_active(0)
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index bf74c0a..3d202e8 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -125,6 +125,9 @@
       </row>
     </data>
   </object>
+  <object class="GeditDocument" id="commands_buffer">
+    <property name="highlight-matching-brackets">True</property>
+  </object>
   <object class="GtkDialog" id="tool-manager-dialog">
     <property name="can_focus">False</property>
     <property name="border_width">5</property>
@@ -190,6 +193,7 @@
           <object class="GtkHPaned" id="paned">
             <property name="visible">True</property>
             <property name="can_focus">True</property>
+            <property name="vexpand">True</property>
             <property name="border_width">6</property>
             <property name="position">275</property>
             <child>
@@ -590,6 +594,19 @@
                             <property name="visible">True</property>
                             <property name="can_focus">True</property>
                             <property name="shadow_type">in</property>
+                            <child>
+                              <object class="GeditView" id="commands">
+                                <property name="buffer">commands_buffer</property>
+                                <property name="visible">True</property>
+                                <property name="auto-indent">True</property>
+                                <property name="insert-spaces-instead-of-tabs">False</property>
+                                <property name="smart-home-end">GTK_SOURCE_SMART_HOME_END_AFTER</property>
+                                <property name="tab-width">2</property>
+                                <property name="highlight-current-line">True</property>
+                                <property name="show-right-margin">False</property>
+                                <property name="show-line-numbers">True</property>
+                              </object>
+                            </child>
                           </object>
                           <packing>
                             <property name="right_attach">2</property>