[gedit] external tools: add tooltip text to stop button

[Ignacio Casal Quinteiro <icq src gnome org>]

commit c8ff0aa9f92ef2fe740c06809ebdd1756e9f233c
Author: Ignacio Casal Quinteiro <icq gnome org>
Date:   Wed Apr 24 14:52:00 2013 +0200

    external tools: add tooltip text to stop button

 plugins/externaltools/tools/outputpanel.ui |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/plugins/externaltools/tools/outputpanel.ui b/plugins/externaltools/tools/outputpanel.ui
index a007dda..a4297a4 100644
--- a/plugins/externaltools/tools/outputpanel.ui
+++ b/plugins/externaltools/tools/outputpanel.ui
@@ -34,6 +34,7 @@
         <property name="halign">end</property>
         <property name="margin_bottom">2</property>
         <property name="margin_right">2</property>
+        <property name="tooltip_text" translatable="yes">Stop Tool</property>
         <signal name="clicked" handler="on_stop_clicked" swapped="no"/>
         <child>
           <object class="GtkImage" id="image1">