def __init__(self, view):
Signals.__init__(self)
view.set_data(constants.DOCUMENT_HELPER_KEY, self)
self._view = view
self._buffer = None
self._in_mode = False
self._column_mode = None
self._edit_points = []
self._multi_edited = False
self._status = None
self._status_timeout = 0
self._delete_mode_id = 0
self.connect_signal(self._view, 'notify::buffer', self.on_notify_buffer)
self.connect_signal(self._view, 'key-press-event', self.on_key_press_event)
self.connect_signal(self._view, 'expose-event', self.on_view_expose_event)
self.connect_signal(self._view, 'style-set', self.on_view_style_set)
self.connect_signal(self._view, 'undo', self.on_view_undo)
self.connect_signal(self._view, 'copy-clipboard', self.on_copy_clipboard)
self.connect_signal(self._view, 'cut-clipboard', self.on_cut_clipboard)
self.connect_signal(self._view, 'query-tooltip', self.on_query_tooltip)
self._view.props.has_tooltip = True
self.reset_buffer(self._view.get_buffer())
self.initialize_event_handlers()
def __init__(self, plugin, window):
Signals.__init__(self)
self._window = window
self._plugin = plugin
self._views = {}
# Insert menu items
self._insert_menu()
# Insert document helpers
for view in window.get_views():
self.add_document_helper(view)
self.connect_signal(window, 'tab-added', self.on_tab_added)
self.connect_signal(window, 'tab-removed', self.on_tab_removed)
self._accel_group = gtk.AccelGroup()
self._window.add_accel_group(self._accel_group)
self._proxy_callback_map = {
'IncreaseFontSizeAction': self.on_increase_font_accel,
'DecreaseFontSizeAction': self.on_decrease_font_accel,
'ResetFontSizeAction': self.on_reset_font_accel
}
self._proxy_mapping = {}
self._init_proxy_accels()
self._accel_map_handler_id = gtk.accel_map_get().connect('changed', self.on_accel_map_changed)
def __init__(self, plugin, window):
Signals.__init__(self)
self._window = window
self._plugin = plugin
self._views = {}
# Insert menu items
self._insert_menu()
# Insert document helpers
for view in window.get_views():
self.add_document_helper(view)
self.connect_signal(window, 'tab-added', self.on_tab_added)
self.connect_signal(window, 'tab-removed', self.on_tab_removed)
self._accel_group = gtk.AccelGroup()
self._window.add_accel_group(self._accel_group)
self._proxy_callback_map = {
'IncreaseFontSizeAction': self.on_increase_font_accel,
'DecreaseFontSizeAction': self.on_decrease_font_accel,
'ResetFontSizeAction': self.on_reset_font_accel
}
self._proxy_mapping = {}
self._init_proxy_accels()
self._accel_map_handler_id = gtk.accel_map_get().connect(
'changed', self.on_accel_map_changed)
def __init__(self, view):
Signals.__init__(self)
view.set_data(constants.DOCUMENT_HELPER_KEY, self)
self._view = view
self._buffer = None
self._in_mode = False
self._column_mode = None
self._edit_points = []
self._multi_edited = False
self._status = None
self._status_timeout = 0
self._delete_mode_id = 0
self.connect_signal(self._view, 'notify::buffer',
self.on_notify_buffer)
self.connect_signal(self._view, 'key-press-event',
self.on_key_press_event)
self.connect_signal(self._view, 'expose-event',
self.on_view_expose_event)
self.connect_signal(self._view, 'style-set', self.on_view_style_set)
self.connect_signal(self._view, 'undo', self.on_view_undo)
self.connect_signal(self._view, 'copy-clipboard',
self.on_copy_clipboard)
self.connect_signal(self._view, 'cut-clipboard', self.on_cut_clipboard)
self.connect_signal(self._view, 'query-tooltip', self.on_query_tooltip)
self._view.props.has_tooltip = True
self.reset_buffer(self._view.get_buffer())
self.initialize_event_handlers()
def __init__(self, view):
Signals.__init__(self)
self._view = view
self.connect_signal(self._view, 'scroll-event', self.on_scroll_event)
self.connect_signal(self._view, 'button-press-event', self.on_button_press_event)
self._view.set_data(constants.DOCUMENT_HELPER_KEY, self)
self._default_font = None
self._last_font = None
self._font_tags = {}
def __init__(self, view):
Signals.__init__(self)
self._view = view
self.connect_signal(self._view, 'scroll-event', self.on_scroll_event)
self.connect_signal(self._view, 'button-press-event', self.on_button_press_event)
self._view.textsize_document_helper = self
self._default_font = None
self._last_font = None
self._font_tags = {}
def __init__(self, plugin, window):
Signals.__init__(self)
self._window = window
self._plugin = plugin
# Insert document helpers
for view in window.get_views():
self.add_document_helper(view)
self.connect_signal(window, 'tab-added', self.on_tab_added)
self.connect_signal(window, 'tab-removed', self.on_tab_removed)
self.install_ui()
def __init__(self, view):
Signals.__init__(self)
self._view = view
self.connect_signal(self._view, 'scroll-event', self.on_scroll_event)
self.connect_signal(self._view, 'button-press-event',
self.on_button_press_event)
self._view.set_data(constants.DOCUMENT_HELPER_KEY, self)
self._default_font = None
self._last_font = None
self._font_tags = {}
def __init__(self, plugin, window):
Signals.__init__(self)
self._window = window
self._plugin = plugin
# Insert document helpers
for view in window.get_views():
self.add_document_helper(view)
self.connect_signal(window, 'tab-added', self.on_tab_added)
self.connect_signal(window, 'tab-removed', self.on_tab_removed)
self.install_ui()
def __init__(self, view):
Signals.__init__(self)
view.multiedit_document_helper = self
self._view = view
self._buffer = None
self._in_mode = False
self._column_mode = None
self._move_cursor = None
self._previous_move_cursor = None
self._edit_points = []
self._multi_edited = False
self._status = None
self._status_timeout = 0
self._delete_mode_id = 0
self.connect_signal(self._view, 'notify::buffer',
self.on_notify_buffer)
self.connect_signal(self._view, 'key-press-event',
self.on_key_press_event)
self.connect_signal(self._view, 'draw', self.on_view_draw)
self.connect_signal(self._view, 'style-set', self.on_view_style_set)
self.connect_signal(self._view, 'undo', self.on_view_undo)
self.connect_signal(self._view, 'copy-clipboard',
self.on_copy_clipboard)
self.connect_signal(self._view, 'cut-clipboard', self.on_cut_clipboard)
self.connect_signal(self._view, 'paste-clipboard',
self.on_paste_clipboard)
self.connect_signal(self._view, 'query-tooltip', self.on_query_tooltip)
self.connect_signal(self._view, 'move-cursor', self.on_move_cursor)
self.connect_signal_after(self._view, 'move-cursor',
self.on_move_cursor_after)
try:
self.connect_signal(self._view, 'smart-home-end',
self.on_smart_home_end)
except:
pass
self._view.props.has_tooltip = True
self.reset_buffer(self._view.get_buffer())
self.initialize_event_handlers()
self.toggle_callback = None
def __init__(self):
GObject.Object.__init__(self)
Signals.__init__(self)
self.placeholders = []
self.active_snippets = []
self.active_placeholder = None
self.ordered_placeholders = []
self.update_placeholders = []
self.jump_placeholders = []
self.language_id = 0
self.timeout_update_id = 0
self.provider = completion.Provider(_('Snippets'), self.language_id, self.on_proposal_activated)
self.defaults_provider = completion.Defaults(self.on_default_activated)
def __init__(self):
GObject.Object.__init__(self)
Signals.__init__(self)
self.placeholders = []
self.active_snippets = []
self.active_placeholder = None
self.ordered_placeholders = []
self.update_placeholders = []
self.jump_placeholders = []
self.language_id = 0
self.timeout_update_id = 0
self.provider = completion.Provider(_('Snippets'), self.language_id,
self.on_proposal_activated)
self.defaults_provider = completion.Defaults(self.on_default_activated)
def __init__(self, view):
Signals.__init__(self)
view.multiedit_document_helper = self
self._view = view
self._buffer = None
self._in_mode = False
self._column_mode = None
self._move_cursor = None
self._previous_move_cursor = None
self._edit_points = []
self._multi_edited = False
self._status = None
self._status_timeout = 0
self._delete_mode_id = 0
self.connect_signal(self._view, 'notify::buffer', self.on_notify_buffer)
self.connect_signal(self._view, 'key-press-event', self.on_key_press_event)
self.connect_signal(self._view, 'draw', self.on_view_draw)
self.connect_signal(self._view, 'style-set', self.on_view_style_set)
self.connect_signal(self._view, 'undo', self.on_view_undo)
self.connect_signal(self._view, 'copy-clipboard', self.on_copy_clipboard)
self.connect_signal(self._view, 'cut-clipboard', self.on_cut_clipboard)
self.connect_signal(self._view, 'paste-clipboard', self.on_paste_clipboard)
self.connect_signal(self._view, 'query-tooltip', self.on_query_tooltip)
self.connect_signal(self._view, 'move-cursor', self.on_move_cursor)
self.connect_signal_after(self._view, 'move-cursor', self.on_move_cursor_after)
try:
self.connect_signal(self._view, 'smart-home-end', self.on_smart_home_end)
except:
pass
self._view.props.has_tooltip = True
self.reset_buffer(self._view.get_buffer())
self.initialize_event_handlers()
self.toggle_callback = None
def __init__(self):
GObject.Object.__init__(self)
Signals.__init__(self)
self.current_language_accel_group = None
def __init__(self):
GObject.Object.__init__(self)
Signals.__init__(self)
self.current_language_accel_group = None
def __init__(self, talibSignalList = [], talibSignalParamList = {}):
Signals.__init__(self)
self.talibSignalList = talibSignalList
self.talibSignalParamList = talibSignalParamList
def __init__(self) -> None:
Signals.__init__(self)
def __init__(self, signalName='VOI', signalParams=[]):
Signals.__init__(self)
self.signalName = signalName
self.signalParams = signalParams
def __init__(self):
GObject.Object.__init__(self)
Signals.__init__(self)
