Skip to content
Permalink
Browse files

Fix warning with external tools plugin

  • Loading branch information...
sc0w authored and raveit65 committed Feb 9, 2018
1 parent 2217a02 commit 12e54c41f48a55cd213d2b004d0c3c2cb0a535c3
Showing with 3 additions and 3 deletions.
  1. +3 −3 plugins/externaltools/tools/__init__.py
@@ -212,9 +212,9 @@ def do_activate(self):
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

0 comments on commit 12e54c4

Please sign in to comment.
You can’t perform that action at this time.