[gedit/gnome-3-8] external tools: do not show line numbers

[Ignacio Casal Quinteiro <icq src gnome org>]

commit cf12f1268c8064d4a547c59ea9cbe1017c1a6e8e
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Sat Apr 20 15:17:00 2013 +0200

    external tools: do not show line numbers

 plugins/externaltools/tools/tools.ui | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index d770d35..68e9395 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -614,7 +614,7 @@
                                 <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>
+                                <property name="show-line-numbers">False</property>
                               </object>
                             </child>
                           </object>