def __init__(self, manager):
self.manager = manager
self.window = manager.gui.get_object("Window")
self.window.set_transient_for(manager.editor.window)
manager.signals.connect_signals(self)
weak_connect(self.window, "delete-event", self, 'delete_event', idle=False)
weak_connect(self.window, "key-press-event", self, 'key_press_event', idle=False)
def __init__(self, signals, editor):
editor.response()
self.editor = editor
self.signals = signals
self.lines = ()
self.update = True
weak_connect(editor, "reset-buffer", self, 'reset_buffer')
signals.connect_signals(self)
def __init__(self, signals, editor): editor.response() self.editor = editor self.signals = signals self.lines = () self.update = True weak_connect(editor, "reset-buffer", self, 'reset_buffer') signals.connect_signals(self)
def __init__(self, manager):
self.manager = manager
self.view = manager.gui.get_object("TreeView")
self.manager.signals.connect_signals(self)
weak_connect(self.view, "row-activated", self, 'row_activated')
self.set_properties()
self.updater = Updater(manager)
def __init__(self, manager):
self.manager = manager
self.view = manager.gui.get_object("TreeView")
self.manager.signals.connect_signals(self)
weak_connect(self.view, "row-activated", self, 'row_activated')
self.set_properties()
self.updater = Updater(manager)
def __init__(self, manager):
self.manager = manager
self.window = manager.gui.get_object("Window")
self.window.set_transient_for(manager.editor.window)
manager.signals.connect_signals(self)
weak_connect(self.window,
"delete-event",
self,
'delete_event',
idle=False)
weak_connect(self.window,
"key-press-event",
self,
'key_press_event',
idle=False)
def __init__(self, signals, editor):
self.editor = editor
self.signals = signals
self.buffer = editor.textbuffer
self.lines = ()
weak_connect(editor.textbuffer,
'source-mark-updated',
self,
'update',
after=True,
idle_priority=9999)
weak_connect(editor,
'modified-file',
self,
'update',
after=True,
idle_priority=9999999)
weak_connect(editor,
'renamed-file',
self,
'update',
after=True,
idle_priority=9999)
idle_add(self.optimize, priority=9999)
def __init__(self, editor):
self.editor = editor
self.signals = Signals()
self.signals.connect_signals(self)
self.triggers = TriggerManager(editor)
self.triggers.connect_triggers(self)
# WTF? in original plugin there is no popup menu item, so commented
#editor.textview.connect("populate-popup", self.pupulate_popup)
create_bookmark_image(editor)
self.feedback_manager = Feedback(self.signals, editor)
self.mark_reseter = Reseter(self.signals, editor)
self.mark_updater = Updater(self.signals, editor)
self.marker = Marker(self.signals, editor)
self.gui_manager = GuiManager(self.signals, editor)
weak_connect(editor, "loaded-file", self, 'restore_bookmarks', idle_priority=9999)
idle_add(self.restore_bookmarks, priority=9999)
def __init__(self, signals, editor):
self.editor = editor
self.signals = signals
self.buffer = editor.textbuffer
self.lines = ()
weak_connect(editor.textbuffer, 'source-mark-updated', self, 'update',
after=True, idle_priority=9999)
weak_connect(editor, 'modified-file', self, 'update',
after=True, idle_priority=9999999)
weak_connect(editor, 'renamed-file', self, 'update',
after=True, idle_priority=9999)
idle_add(self.optimize, priority=9999)
