diff options
author | Patrick Monnerat <[email protected]> | 2019-05-23 20:42:23 +0200 |
---|---|---|
committer | raveit65 <[email protected]> | 2019-06-06 11:17:28 +0200 |
commit | 92faa11ef9e8af801713f12f8c205bd4fcf280b1 (patch) | |
tree | 9e358fe33e4b9ace989f62506a55f1df6631acd7 /plugins/externaltools/tools/__init__.py | |
parent | fd4405cc794d6fd3d560f06cfbaecca08e16a51e (diff) | |
download | pluma-92faa11ef9e8af801713f12f8c205bd4fcf280b1.tar.bz2 pluma-92faa11ef9e8af801713f12f8c205bd4fcf280b1.tar.xz |
externaltools plugin: change code for Python 2 & 3 compatibility.
Diffstat (limited to 'plugins/externaltools/tools/__init__.py')
-rwxr-xr-x | plugins/externaltools/tools/__init__.py | 13 |
1 files changed, 6 insertions, 7 deletions
diff --git a/plugins/externaltools/tools/__init__.py b/plugins/externaltools/tools/__init__.py index 153d6c6e..b0b67dcc 100755 --- a/plugins/externaltools/tools/__init__.py +++ b/plugins/externaltools/tools/__init__.py @@ -16,14 +16,13 @@ # along with this program; if not, write to the Free Software # Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA -__all__ = ('ExternalToolsPlugin', 'Manager', 'OutputPanel', 'Capture', 'UniqueById') +__all__ = ('ExternalToolsPlugin', ) from gi.repository import GObject, Gtk, Peas, Pluma -from manager import Manager -from library import ToolLibrary -from outputpanel import OutputPanel -from capture import Capture -from functions import * +from .manager import Manager +from .library import ToolLibrary +from .outputpanel import OutputPanel +from .functions import * class ToolMenu(object): def __init__(self, library, window, panel, plugin, menupath): @@ -214,7 +213,7 @@ class ExternalToolsPlugin(GObject.Object, Peas.Activatable): bottom = window.get_bottom_panel() bottom.add_item_with_icon(self._output_buffer.panel, _("Shell Output"), - Gtk.STOCK_EXECUTE) + "system-run") def do_deactivate(self): window = self.object |