[gedit/gnome-3-8] external tools: let the document handle the properties

[Ignacio Casal Quinteiro <icq src gnome org>]

commit 38e436efcbc5e9545b624334518bac479fd0739c
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sun Apr 21 11:28:51 2013 +0200

    external tools: let the document handle the properties

 plugins/externaltools/tools/tools.ui | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 50a362e..f9d40f4 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -134,9 +134,7 @@
   <object class="GtkAction" id="revert-tool-action">
     <signal name="activate" handler="on_action_remove_tool_activated" swapped="no"/>
   </object>
-  <object class="GeditDocument" id="commands_buffer">
-    <property name="highlight-matching-brackets">True</property>
-  </object>
+  <object class="GeditDocument" id="commands_buffer"/>
   <object class="GtkDialog" id="tool-manager-dialog">
     <property name="can_focus">False</property>
     <property name="border_width">5</property>