diff options
| -rwxr-xr-x | plugins/externaltools/tools/__init__.py | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/plugins/externaltools/tools/__init__.py b/plugins/externaltools/tools/__init__.py index 2a51c97c..463c8f58 100755 --- a/plugins/externaltools/tools/__init__.py +++ b/plugins/externaltools/tools/__init__.py @@ -212,9 +212,9 @@ class ExternalToolsPlugin(GObject.Object, Peas.Activatable): manager.ensure_update() bottom = window.get_bottom_panel() - bottom.add_item_with_stock_icon(self._output_buffer.panel, - _("Shell Output"), - Gtk.STOCK_EXECUTE) + bottom.add_item_with_icon(self._output_buffer.panel, + _("Shell Output"), + Gtk.STOCK_EXECUTE) def do_deactivate(self): window = self.object |