[gedit] external tools: Rename Shell Output tab to Tool Output

[Adam Dingle <adamd src gnome org>]

commit 0183941e6536603f5141e6eb2ad37da3bdc0492a
Author: Adam Dingle <adam yorba org>
Date:   Sun May 19 17:22:14 2013 -0400

    external tools: Rename Shell Output tab to Tool Output

 plugins/externaltools/tools/windowactivatable.py |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/plugins/externaltools/tools/windowactivatable.py 
b/plugins/externaltools/tools/windowactivatable.py
index ba62e2f..0bc22e9 100644
--- a/plugins/externaltools/tools/windowactivatable.py
+++ b/plugins/externaltools/tools/windowactivatable.py
@@ -209,7 +209,7 @@ class WindowActivatable(GObject.Object, Gedit.WindowActivatable):
         image = Gtk.Image(stock=Gtk.STOCK_EXECUTE, icon_size=Gtk.IconSize.MENU)
         bottom.add_item(self._output_buffer.panel,
                         "GeditExternalToolsShellOutput",
-                        _("Shell Output"),
+                        _("Tool Output"),
                         image)
 
     def do_update_state(self):