initial

author: Perberos <[email protected]> 2011-11-07 16:46:58 -0300
committer: Perberos <[email protected]> 2011-11-07 16:46:58 -0300
commit: 528c1e5ff51e213936e800fc5a9a25da99c0bdf2 (patch)
tree: 77f8aa456b09367ba81f04d4562fc935f898a951 /plugins/externaltools/tools/__init__.py
download: pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.bz2
pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.xz
1 files changed, 281 insertions, 0 deletions
diff --git a/plugins/externaltools/tools/__init__.py b/plugins/externaltools/tools/__init__.py
new file mode 100755
index 00000000..a46aef8f
--- /dev/null
+++ b/plugins/externaltools/tools/__init__.py
@@ -0,0 +1,281 @@
+# -*- coding: UTF-8 -*-
+# Gedit External Tools plugin
+# Copyright (C) 2005-2006 Steve Frécinaux <[email protected]>
+#
+# This program is free software; you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation; either version 2 of the License, or
+# (at your option) any later version.
+#
+# This program is distributed in the hope that it will be useful,
+# but WITHOUT ANY WARRANTY; without even the implied warranty of
+# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+# GNU General Public License for more details.
+#
+# You should have received a copy of the GNU General Public License
+# 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', 'ExternalToolsWindowHelper',
+ 'Manager', 'OutputPanel', 'Capture', 'UniqueById')
+
+import gedit
+import gtk
+from manager import Manager
+from library import ToolLibrary
+from outputpanel import OutputPanel
+from capture import Capture
+from functions import *
+
+class ToolMenu(object):
+ ACTION_HANDLER_DATA_KEY = "ExternalToolActionHandlerData"
+ ACTION_ITEM_DATA_KEY = "ExternalToolActionItemData"
+
+ def __init__(self, library, window, menupath):
+ super(ToolMenu, self).__init__()
+ self._library = library
+ self._window = window
+ self._menupath = menupath
+
+ self._merge_id = 0
+ self._action_group = gtk.ActionGroup("ExternalToolsPluginToolActions")
+ self._signals = []
+
+ self.update()
+
+ def deactivate(self):
+ self.remove()
+
+ def remove(self):
+ if self._merge_id != 0:
+ self._window.get_ui_manager().remove_ui(self._merge_id)
+ self._window.get_ui_manager().remove_action_group(self._action_group)
+ self._merge_id = 0
+
+ for action in self._action_group.list_actions():
+ handler = action.get_data(self.ACTION_HANDLER_DATA_KEY)
+
+ if handler is not None:
+ action.disconnect(handler)
+
+ action.set_data(self.ACTION_ITEM_DATA_KEY, None)
+ action.set_data(self.ACTION_HANDLER_DATA_KEY, None)
+
+ self._action_group.remove_action(action)
+ 
+ accelmap = gtk.accel_map_get()
+
+ for s in self._signals:
+ accelmap.disconnect(s)
+ 
+ self._signals = []
+
+ def _insert_directory(self, directory, path):
+ manager = self._window.get_ui_manager()
+
+ for item in directory.subdirs:
+ action_name = 'ExternalToolDirectory%X' % id(item)
+ action = gtk.Action(action_name, item.name.replace('_', '__'), None, None)
+ self._action_group.add_action(action)
+
+ manager.add_ui(self._merge_id, path,
+ action_name, action_name,
+ gtk.UI_MANAGER_MENU, False)
+ 
+ self._insert_directory(item, path + '/' + action_name)
+
+ for item in directory.tools:
+ action_name = 'ExternalToolTool%X' % id(item)
+ action = gtk.Action(action_name, item.name.replace('_', '__'), item.comment, None)
+ handler = action.connect("activate", capture_menu_action, self._window, item)
+
+ action.set_data(self.ACTION_ITEM_DATA_KEY, item)
+ action.set_data(self.ACTION_HANDLER_DATA_KEY, handler)
+ 
+ # Make sure to replace accel
+ accelpath = '<Actions>/ExternalToolsPluginToolActions/%s' % (action_name, )
+ 
+ if item.shortcut:
+ key, mod = gtk.accelerator_parse(item.shortcut)
+ gtk.accel_map_change_entry(accelpath, key, mod, True)
+ 
+ self._signals.append(gtk.accel_map_get().connect('changed::%s' % (accelpath,), self.on_accelmap_changed, item))
+ 
+ self._action_group.add_action_with_accel(action, item.shortcut)
+
+ manager.add_ui(self._merge_id, path,
+ action_name, action_name,
+ gtk.UI_MANAGER_MENUITEM, False)
+
+ def on_accelmap_changed(self, accelmap, path, key, mod, tool):
+ tool.shortcut = gtk.accelerator_name(key, mod)
+ tool.save()
+ 
+ self._window.get_data("ExternalToolsPluginWindowData").update_manager(tool)
+
+ def update(self):
+ self.remove()
+ self._merge_id = self._window.get_ui_manager().new_merge_id()
+ self._insert_directory(self._library.tree, self._menupath)
+ self._window.get_ui_manager().insert_action_group(self._action_group, -1)
+ self.filter(self._window.get_active_document())
+
+ def filter_language(self, language, item):
+ if not item.languages:
+ return True
+ 
+ if not language and 'plain' in item.languages:
+ return True
+ 
+ if language and (language.get_id() in item.languages):
+ return True
+ else:
+ return False
+
+ def filter(self, document):
+ if document is None:
+ return
+
+ titled = document.get_uri() is not None
+ remote = not document.is_local()
+
+ states = {
+ 'all' : True,
+ 'local': titled and not remote,
+ 'remote': titled and remote,
+ 'titled': titled,
+ 'untitled': not titled,
+ }
+ 
+ language = document.get_language()
+
+ for action in self._action_group.list_actions():
+ item = action.get_data(self.ACTION_ITEM_DATA_KEY)
+
+ if item is not None:
+ action.set_visible(states[item.applicability] and self.filter_language(language, item))
+
+class ExternalToolsWindowHelper(object):
+ def __init__(self, plugin, window):
+ super(ExternalToolsWindowHelper, self).__init__()
+
+ self._window = window
+ self._plugin = plugin
+ self._library = ToolLibrary()
+
+ manager = window.get_ui_manager()
+
+ self._action_group = gtk.ActionGroup('ExternalToolsPluginActions')
+ self._action_group.set_translation_domain('gedit')
+ self._action_group.add_actions([('ExternalToolManager',
+ None,
+ _('Manage _External Tools...'),
+ None,
+ _("Opens the External Tools Manager"),
+ lambda action: plugin.open_dialog()),
+ ('ExternalTools',
+ None,
+ _('External _Tools'),
+ None,
+ _("External tools"),
+ None)])
+ manager.insert_action_group(self._action_group, -1)
+
+ ui_string = """
+ <ui>
+ <menubar name="MenuBar">
+ <menu name="ToolsMenu" action="Tools">
+ <placeholder name="ToolsOps_4">
+ <separator/>
+ <menu name="ExternalToolsMenu" action="ExternalTools">
+ <placeholder name="ExternalToolPlaceholder"/>
+ </menu>
+ <separator/>
+ </placeholder>
+ <placeholder name="ToolsOps_5">
+ <menuitem name="ExternalToolManager" action="ExternalToolManager"/>
+ </placeholder>
+ </menu>
+ </menubar>
+ </ui>"""
+
+ self._merge_id = manager.add_ui_from_string(ui_string)
+
+ self.menu = ToolMenu(self._library, self._window,
+ "/MenuBar/ToolsMenu/ToolsOps_4/ExternalToolsMenu/ExternalToolPlaceholder")
+ manager.ensure_update()
+
+ # Create output console
+ self._output_buffer = OutputPanel(self._plugin.get_data_dir(), window)
+ bottom = window.get_bottom_panel()
+ bottom.add_item(self._output_buffer.panel,
+ _("Shell Output"),
+ gtk.STOCK_EXECUTE)
+
+ def update_ui(self):
+ self.menu.filter(self._window.get_active_document())
+ self._window.get_ui_manager().ensure_update()
+
+ def deactivate(self):
+ manager = self._window.get_ui_manager()
+ self.menu.deactivate()
+ manager.remove_ui(self._merge_id)
+ manager.remove_action_group(self._action_group)
+ manager.ensure_update()
+
+ bottom = self._window.get_bottom_panel()
+ bottom.remove_item(self._output_buffer.panel)
+
+ def update_manager(self, tool):
+ self._plugin.update_manager(tool)
+
+class ExternalToolsPlugin(gedit.Plugin):
+ WINDOW_DATA_KEY = "ExternalToolsPluginWindowData"
+
+ def __init__(self):
+ super(ExternalToolsPlugin, self).__init__()
+ 
+ self._manager = None
+ self._manager_default_size = None
+
+ ToolLibrary().set_locations(os.path.join(self.get_data_dir(), 'tools'))
+
+ def activate(self, window):
+ helper = ExternalToolsWindowHelper(self, window)
+ window.set_data(self.WINDOW_DATA_KEY, helper)
+
+ def deactivate(self, window):
+ window.get_data(self.WINDOW_DATA_KEY).deactivate()
+ window.set_data(self.WINDOW_DATA_KEY, None)
+
+ def update_ui(self, window):
+ window.get_data(self.WINDOW_DATA_KEY).update_ui()
+
+ def create_configure_dialog(self):
+ return self.open_dialog()
+
+ def open_dialog(self):
+ if not self._manager:
+ self._manager = Manager(self.get_data_dir())
+
+ if self._manager_default_size:
+ self._manager.dialog.set_default_size(*self._manager_default_size)
+
+ self._manager.dialog.connect('destroy', self.on_manager_destroy)
+
+ window = gedit.app_get_default().get_active_window()
+ self._manager.run(window)
+
+ return self._manager.dialog
+
+ def update_manager(self, tool):
+ if not self._manager:
+ return
+
+ self._manager.tool_changed(tool, True)
+
+ def on_manager_destroy(self, dialog):
+ self._manager_default_size = [dialog.allocation.width, dialog.allocation.height]
+ self._manager = None
+
+# ex:ts=4:et:
author	Perberos <[email protected]>	2011-11-07 16:46:58 -0300
committer	Perberos <[email protected]>	2011-11-07 16:46:58 -0300
commit	528c1e5ff51e213936e800fc5a9a25da99c0bdf2 (patch)
tree	77f8aa456b09367ba81f04d4562fc935f898a951 /plugins/externaltools/tools/__init__.py
download	pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.bz2 pluma-528c1e5ff51e213936e800fc5a9a25da99c0bdf2.tar.xz