From 5ded9cba8563f336939400303d6a841d5089b107 Mon Sep 17 00:00:00 2001 From: Perberos Date: Mon, 7 Nov 2011 19:52:18 -0300 Subject: renaming from gedit to pluma --- plugins/externaltools/tools/__init__.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'plugins/externaltools/tools/__init__.py') diff --git a/plugins/externaltools/tools/__init__.py b/plugins/externaltools/tools/__init__.py index a46aef8f..39522ede 100755 --- a/plugins/externaltools/tools/__init__.py +++ b/plugins/externaltools/tools/__init__.py @@ -1,5 +1,5 @@ # -*- coding: UTF-8 -*- -# Gedit External Tools plugin +# Pluma External Tools plugin # Copyright (C) 2005-2006 Steve Frécinaux # # This program is free software; you can redistribute it and/or modify @@ -19,7 +19,7 @@ __all__ = ('ExternalToolsPlugin', 'ExternalToolsWindowHelper', 'Manager', 'OutputPanel', 'Capture', 'UniqueById') -import gedit +import pluma import gtk from manager import Manager from library import ToolLibrary @@ -166,7 +166,7 @@ class ExternalToolsWindowHelper(object): manager = window.get_ui_manager() self._action_group = gtk.ActionGroup('ExternalToolsPluginActions') - self._action_group.set_translation_domain('gedit') + self._action_group.set_translation_domain('pluma') self._action_group.add_actions([('ExternalToolManager', None, _('Manage _External Tools...'), @@ -229,7 +229,7 @@ class ExternalToolsWindowHelper(object): def update_manager(self, tool): self._plugin.update_manager(tool) -class ExternalToolsPlugin(gedit.Plugin): +class ExternalToolsPlugin(pluma.Plugin): WINDOW_DATA_KEY = "ExternalToolsPluginWindowData" def __init__(self): @@ -263,7 +263,7 @@ class ExternalToolsPlugin(gedit.Plugin): self._manager.dialog.connect('destroy', self.on_manager_destroy) - window = gedit.app_get_default().get_active_window() + window = pluma.app_get_default().get_active_window() self._manager.run(window) return self._manager.dialog -- cgit v1.2.1