home *** CD-ROM | disk | FTP | other *** search
/ Mac Easy 2010 May / Mac Life Ubuntu.iso / casper / filesystem.squashfs / usr / lib / gedit-2 / plugins / externaltools / __init__.pyc (.txt) < prev    next >
Encoding:
Python Compiled Bytecode  |  2009-04-20  |  7.9 KB  |  173 lines
  1. # Source Generated with Decompyle++
  2. # File: in.pyc (Python 2.6)
  3.  
  4. __all__ = ('ExternalToolsPlugin', 'ExternalToolsWindowHelper', 'Manager', 'OutputPanel', 'Capture', 'UniqueById')
  5. import gedit
  6. import gtk
  7. from manager import Manager
  8. from library import ToolLibrary
  9. from outputpanel import OutputPanel
  10. from capture import Capture
  11. from functions import *
  12.  
  13. class ToolMenu(object):
  14.     ACTION_HANDLER_DATA_KEY = 'ExternalToolActionHandlerData'
  15.     ACTION_ITEM_DATA_KEY = 'ExternalToolActionItemData'
  16.     
  17.     def __init__(self, library, window, menupath):
  18.         super(ToolMenu, self).__init__()
  19.         self._library = library
  20.         self._window = window
  21.         self._menupath = menupath
  22.         self._merge_id = 0
  23.         self._action_group = gtk.ActionGroup('ExternalToolsPluginToolActions')
  24.         self._window.get_ui_manager().insert_action_group(self._action_group, -1)
  25.         self.update()
  26.  
  27.     
  28.     def deactivate(self):
  29.         self.remove()
  30.         self._window.get_ui_manager().remove_action_group(self._action_group)
  31.  
  32.     
  33.     def remove(self):
  34.         if self._merge_id != 0:
  35.             self._window.get_ui_manager().remove_ui(self._merge_id)
  36.             self._merge_id = 0
  37.         
  38.         for action in self._action_group.list_actions():
  39.             handler = action.get_data(self.ACTION_HANDLER_DATA_KEY)
  40.             if handler is not None:
  41.                 action.disconnect(handler)
  42.             
  43.             self._action_group.remove_action(action)
  44.         
  45.  
  46.     
  47.     def _insert_directory(self, directory, path):
  48.         manager = self._window.get_ui_manager()
  49.         for item in directory.subdirs:
  50.             action_name = 'ExternalToolDirectory%X' % id(item)
  51.             action = gtk.Action(action_name, item.name, None, None)
  52.             self._action_group.add_action(action)
  53.             manager.add_ui(self._merge_id, path, action_name, action_name, gtk.UI_MANAGER_MENU, False)
  54.             self._insert_directory(item, path + '/' + action_name)
  55.         
  56.         for item in directory.tools:
  57.             action_name = 'ExternalToolTool%X' % id(item)
  58.             action = gtk.Action(action_name, item.name, item.comment, None)
  59.             handler = action.connect('activate', capture_menu_action, self._window, item)
  60.             action.set_data(self.ACTION_ITEM_DATA_KEY, item)
  61.             action.set_data(self.ACTION_HANDLER_DATA_KEY, handler)
  62.             self._action_group.add_action_with_accel(action, item.shortcut)
  63.             manager.add_ui(self._merge_id, path, action_name, action_name, gtk.UI_MANAGER_MENUITEM, False)
  64.         
  65.  
  66.     
  67.     def update(self):
  68.         self.remove()
  69.         self._merge_id = self._window.get_ui_manager().new_merge_id()
  70.         self._insert_directory(self._library.tree, self._menupath)
  71.         self.filter(self._window.get_active_document())
  72.  
  73.     
  74.     def filter(self, document):
  75.         if document is None:
  76.             return None
  77.         titled = document.get_uri() is not None
  78.         remote = not document.is_local()
  79.         if titled:
  80.             pass
  81.         if titled:
  82.             pass
  83.         states = {
  84.             'all': True,
  85.             'local': not remote,
  86.             'remote': remote,
  87.             'titled': titled,
  88.             'untitled': not titled }
  89.         for action in self._action_group.list_actions():
  90.             item = action.get_data(self.ACTION_ITEM_DATA_KEY)
  91.             if item is not None:
  92.                 action.set_sensitive(states[item.applicability])
  93.                 continue
  94.             document is None
  95.         
  96.  
  97.  
  98.  
  99. class ExternalToolsWindowHelper(object):
  100.     
  101.     def __init__(self, plugin, window):
  102.         super(ExternalToolsWindowHelper, self).__init__()
  103.         self._window = window
  104.         self._plugin = plugin
  105.         self._library = ToolLibrary()
  106.         manager = window.get_ui_manager()
  107.         self._action_group = gtk.ActionGroup('ExternalToolsPluginActions')
  108.         self._action_group.set_translation_domain('gedit')
  109.         self._action_group.add_actions([
  110.             ('ExternalToolManager', None, _('_External Tools...'), None, (_('Opens the External Tools Manager'),), (lambda action: plugin.open_dialog()))])
  111.         manager.insert_action_group(self._action_group, -1)
  112.         ui_string = '\n            <ui>\n              <menubar name="MenuBar">\n                <menu name="ToolsMenu" action="Tools">\n                  <placeholder name="ToolsOps_4">\n                    <separator/>\n                    <placeholder name="ExternalToolPlaceholder"/>\n                    <separator/>\n                  </placeholder>\n                  <placeholder name="ToolsOps_5">\n                    <menuitem name="ExternalToolManager" action="ExternalToolManager"/>\n                  </placeholder>\n                </menu>\n              </menubar>\n            </ui>'
  113.         self._merge_id = manager.add_ui_from_string(ui_string)
  114.         self.menu = ToolMenu(self._library, self._window, '/MenuBar/ToolsMenu/ToolsOps_4/ExternalToolPlaceholder')
  115.         manager.ensure_update()
  116.         self._output_buffer = OutputPanel(self._plugin.get_data_dir(), window)
  117.         bottom = window.get_bottom_panel()
  118.         bottom.add_item(self._output_buffer.panel, _('Shell Output'), gtk.STOCK_EXECUTE)
  119.  
  120.     
  121.     def update_ui(self):
  122.         self.menu.filter(self._window.get_active_document())
  123.         self._window.get_ui_manager().ensure_update()
  124.  
  125.     
  126.     def deactivate(self):
  127.         manager = self._window.get_ui_manager()
  128.         self.menu.deactivate()
  129.         manager.remove_ui(self._merge_id)
  130.         manager.remove_action_group(self._action_group)
  131.         manager.ensure_update()
  132.         bottom = self._window.get_bottom_panel()
  133.         bottom.remove_item(self._output_buffer.panel)
  134.  
  135.  
  136.  
  137. class ExternalToolsPlugin(gedit.Plugin):
  138.     WINDOW_DATA_KEY = 'ExternalToolsPluginWindowData'
  139.     
  140.     def __init__(self):
  141.         super(ExternalToolsPlugin, self).__init__()
  142.         ToolLibrary().set_locations(self.get_data_dir())
  143.  
  144.     
  145.     def activate(self, window):
  146.         helper = ExternalToolsWindowHelper(self, window)
  147.         window.set_data(self.WINDOW_DATA_KEY, helper)
  148.  
  149.     
  150.     def deactivate(self, window):
  151.         window.get_data(self.WINDOW_DATA_KEY).deactivate()
  152.         window.set_data(self.WINDOW_DATA_KEY, None)
  153.  
  154.     
  155.     def update_ui(self, window):
  156.         window.get_data(self.WINDOW_DATA_KEY).update_ui()
  157.  
  158.     
  159.     def create_configure_dialog(self):
  160.         return self.open_dialog()
  161.  
  162.     
  163.     def open_dialog(self):
  164.         m = Manager(self.get_data_dir())
  165.         m.run()
  166.         window = gedit.app_get_default().get_active_window()
  167.         if window:
  168.             m.dialog.set_transient_for(window)
  169.         
  170.         return m.dialog
  171.  
  172.  
  173.