[gedit] tools: do not show the help button

[Ignacio Casal Quinteiro <icq src gnome org>]

commit e42d3e49b2043cb7f23b703887f3d57b2f371ec2
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Fri Feb 7 15:08:34 2014 +0100

    tools: do not show the help button
    
    The help right now is talking about how to enable the plugin.
    From this point we have the plugin already enabled so we should
    probably have a section about how to use the plugin and link
    from here.

 plugins/externaltools/tools/tools.ui |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/tools.ui b/plugins/externaltools/tools/tools.ui
index 4e4c342..6db18f7 100644
--- a/plugins/externaltools/tools/tools.ui
+++ b/plugins/externaltools/tools/tools.ui
@@ -146,7 +146,6 @@
         <property name="show_close_button">True</property>
         <child>
           <object class="GtkButton" id="help_button">
-            <property name="visible">True</property>
             <property name="valign">center</property>
             <property name="tooltip_text" translatable="yes">Need help?</property>
             <style>