def __init__(self, signals, editor):
self.signals = signals
self.editor = editor
self.on_select = None
self.gui = editor.get_gui_object(globals(), 'gui.glade')
self.gui.connect_signals(self)
self.blocked = False
connect_all(self, textview=self.editor.textview, textbuffer=self.editor.textbuffer)
self.window = self.gui.get_object('window')
self.treeview = self.gui.get_object('treeview')
self.model = self.gui.get_object('liststore')
self.column = self.treeview.get_column(0)
self.selection = self.treeview.get_selection()
def __init__(self, editor):
self.editor = editor
self.signals = Signals()
self.triggers = TriggerManager(editor)
connect_all(self, self.signals, self.triggers, textbuffer=self.editor.textbuffer)
self.block_word_reset = False
self.words = None
self.start_word = None
self.start_offset = None
self.indexer = IndexerProcessManager(self.signals.sender, editor)
self.dictionary_manager = DictionaryManager(self.signals.sender, editor)
self.communicator = ProcessCommunicator(self.signals.sender, editor)
self.extractor = TextExtractor(self.signals.sender, editor)
self.buffer_monitor = BufferMonitor(self.signals.sender, editor)
def __init__(self, signals, editor):
self.signals = signals
self.editor = editor
self.on_select = None
self.gui = editor.get_gui_object(globals(), 'gui.glade')
self.gui.connect_signals(self)
self.blocked = False
connect_all(self,
textview=self.editor.textview,
textbuffer=self.editor.textbuffer)
self.window = self.gui.get_object('window')
self.treeview = self.gui.get_object('treeview')
self.model = self.gui.get_object('liststore')
self.column = self.treeview.get_column(0)
self.selection = self.treeview.get_selection()
def add_preferences_menu_item(self):
item = self.editor.create_menuitem('Key configuration', STOCK_PREFERENCES)
self.editor.add_to_pref_menu(item)
connect_all(self, menuitem=item)
def add_preferences_menu_item(self):
item = self.editor.create_menuitem('Key configuration',
STOCK_PREFERENCES)
self.editor.add_to_pref_menu(item)
connect_all(self, menuitem=item)
def __init__(self, editor):
self.editor = editor
self.triggers = TriggerManager(editor)
self.signals = Signals()
connect_all(self, self.signals, self.triggers)
def __init__(self, editor):
self.editor = editor
self.triggers = TriggerManager(editor)
self.signals = Signals()
connect_all(self, self.signals, self.triggers)