def __init__(self): GtkSource.Buffer.__init__(self) bind_settings(self) self.data = MeldBufferData() self.undo_sequence = None meldsettings.connect('changed', self.on_setting_changed) self.set_style_scheme(meldsettings.style_scheme)
def __init__(self): super().__init__() bind_settings(self) self.data = MeldBufferData() self.undo_sequence = None meldsettings.connect('changed', self.on_setting_changed) self.set_style_scheme(meldsettings.style_scheme)
def __init__(self, filediff): gnomeglade.Component.__init__(self, "patch-dialog.ui", "patchdialog") self.widget.set_transient_for(filediff.widget.get_toplevel()) self.filediff = filediff buf = GtkSource.Buffer() self.textview.set_buffer(buf) lang = LanguageManager.get_language_from_mime_type("text/x-diff") buf.set_language(lang) buf.set_highlight_syntax(True) self.textview.modify_font(meldsettings.font) self.textview.set_editable(False) self.index_map = {self.left_radiobutton: (0, 1), self.right_radiobutton: (1, 2)} self.left_patch = True self.reverse_patch = self.reverse_checkbutton.get_active() if self.filediff.num_panes < 3: self.side_selection_label.hide() self.side_selection_box.hide() meldsettings.connect('changed', self.on_setting_changed)
def __init__(self, filename=None): GtkSource.Buffer.__init__(self) bind_settings(self) self.data = MeldBufferData(filename) self.user_action_count = 0 meldsettings.connect('changed', self.on_setting_changed) self.set_style_scheme(meldsettings.style_scheme)
def __init__(self, filediff): super().__init__("patch-dialog.ui", "patchdialog") self.widget.set_transient_for(filediff.widget.get_toplevel()) self.filediff = filediff buf = GtkSource.Buffer() self.textview.set_buffer(buf) lang = LanguageManager.get_language_from_mime_type("text/x-diff") buf.set_language(lang) buf.set_highlight_syntax(True) self.textview.modify_font(meldsettings.font) self.textview.set_editable(False) self.index_map = { self.left_radiobutton: (0, 1), self.right_radiobutton: (1, 2) } self.left_patch = True self.reverse_patch = self.reverse_checkbutton.get_active() if self.filediff.num_panes < 3: self.side_selection_label.hide() self.side_selection_box.hide() meldsettings.connect('changed', self.on_setting_changed)
def do_realize(self): Gtk.ApplicationWindow.do_realize(self) app = self.get_application() menu = app.get_menu_by_id("gear-menu") self.gear_menu_button.set_popover( Gtk.Popover.new_from_model(self.gear_menu_button, menu)) filter_model = app.get_menu_by_id("text-filter-menu") self.text_filter_button.set_popover( Gtk.Popover.new_from_model(self.text_filter_button, filter_model)) filter_menu = app.get_menu_by_id("folder-status-filter-menu") self.folder_filter_button.set_popover( Gtk.Popover.new_from_model(self.folder_filter_button, filter_menu)) vc_filter_model = app.get_menu_by_id('vc-status-filter-menu') self.vc_filter_button.set_popover( Gtk.Popover.new_from_model(self.vc_filter_button, vc_filter_model)) self.update_text_filters() self.update_filename_filters() self.settings_handlers = [ meldsettings.connect( "text-filters-changed", self.update_text_filters), meldsettings.connect( "file-filters-changed", self.update_filename_filters), ] meld.ui.util.extract_accels_from_menu(menu, self.get_application())
def do_realize(self): self.set_events(Gdk.EventMask.LEAVE_NOTIFY_MASK | Gdk.EventMask.POINTER_MOTION_MASK | Gdk.EventMask.BUTTON_PRESS_MASK | Gdk.EventMask.BUTTON_RELEASE_MASK) self.connect('notify::action-mode', lambda *args: self.queue_draw()) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme') return Gtk.DrawingArea.do_realize(self)
def do_realize(self): self.set_events( Gdk.EventMask.LEAVE_NOTIFY_MASK | Gdk.EventMask.POINTER_MOTION_MASK | Gdk.EventMask.BUTTON_PRESS_MASK | Gdk.EventMask.BUTTON_RELEASE_MASK ) self.connect('notify::action-mode', lambda *args: self.queue_draw()) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme') return Gtk.DrawingArea.do_realize(self)
def __init__(self, from_pane, to_pane, linediffer): super(GutterRendererChunkLines, self).__init__() self.from_pane = from_pane self.to_pane = to_pane # FIXME: Don't pass in the linediffer; pass a generator like elsewhere self.linediffer = linediffer self.num_line_digits = 0 self.changed_handler_id = None meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme')
def __init__(self): GObject.GObject.__init__(self) self.add_events(Gdk.EventMask.BUTTON_PRESS_MASK) self._scrolladj = None self._difffunc = lambda: None self._handlers = [] self._y_offset = 0 self._h_offset = 0 self._scroll_y = 0 self._scroll_height = 0 self._setup = False self._width = 10 meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme')
def __init__(self, *args, **kwargs): super(MeldSourceView, self).__init__(*args, **kwargs) binding_set = Gtk.binding_set_find('GtkSourceView') for key, modifiers in self.replaced_entries: Gtk.binding_entry_remove(binding_set, key, modifiers) self.anim_source_id = None self.animating_chunks = [] self.syncpoints = [] self._show_line_numbers = None buf = MeldBuffer() buf.create_tag("inline") buf.create_tag("dimmed") self.set_buffer(buf) meldsettings.connect('changed', self.on_setting_changed)
def __init__(self, *args, **kwargs): super(MeldSourceView, self).__init__(*args, **kwargs) binding_set = Gtk.binding_set_find('GtkSourceView') for key, modifiers in self.replaced_entries: Gtk.binding_entry_remove(binding_set, key, modifiers) self.anim_source_id = None self.animating_chunks = [] self.syncpoints = [] self._show_line_numbers = None buf = meldbuffer.MeldBuffer() buf.create_tag("inline") self.set_buffer(buf) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'font') self.on_setting_changed(meldsettings, 'style-scheme')
def do_realize(self): if not self.adjustment: log.critical( f'{self.__gtype_name__} initialized without an adjustment') return Gtk.DrawingArea.do_realize(self) self.set_events(Gdk.EventMask.POINTER_MOTION_MASK | Gdk.EventMask.BUTTON_PRESS_MASK | Gdk.EventMask.BUTTON_RELEASE_MASK) self.adjustment.connect('changed', lambda w: self.queue_draw()) self.adjustment.connect('value-changed', lambda w: self.queue_draw()) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme') return Gtk.DrawingArea.do_realize(self)
def __init__(self, *args, **kwargs): super(MeldSourceView, self).__init__(*args, **kwargs) binding_set = Gtk.binding_set_find('GtkSourceView') for key, modifiers in self.replaced_entries: Gtk.binding_entry_remove(binding_set, key, modifiers) self.anim_source_id = None self.animating_chunks = [] self.syncpoints = [] self._show_line_numbers = None buf = MeldBuffer() inline_tag = GtkSource.Tag.new("inline") inline_tag.props.draw_spaces = True buf.get_tag_table().add(inline_tag) buf.create_tag("dimmed") self.set_buffer(buf) meldsettings.connect('changed', self.on_setting_changed)
def do_realize(self): if not self.adjustment: log.critical( f'{self.__gtype_name__} initialized without an adjustment') return Gtk.DrawingArea.do_realize(self) self.set_events( Gdk.EventMask.POINTER_MOTION_MASK | Gdk.EventMask.BUTTON_PRESS_MASK | Gdk.EventMask.BUTTON_RELEASE_MASK ) self.adjustment.connect('changed', lambda w: self.queue_draw()) self.adjustment.connect('value-changed', lambda w: self.queue_draw()) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme') return Gtk.DrawingArea.do_realize(self)
def __init__(self, *args, **kwargs): super().__init__(*args, **kwargs) self.drag_dest_add_uri_targets() binding_set = Gtk.binding_set_find('GtkSourceView') for key, modifiers in self.replaced_entries: Gtk.binding_entry_remove(binding_set, key, modifiers) self.anim_source_id = None self.animating_chunks = [] self.syncpoints = [] self._show_line_numbers = None buf = MeldBuffer() inline_tag = GtkSource.Tag.new("inline") inline_tag.props.draw_spaces = True buf.get_tag_table().add(inline_tag) buf.create_tag("dimmed") self.set_buffer(buf) meldsettings.connect('changed', self.on_setting_changed)
def __init__(self, from_pane, to_pane, views, filediff, linediffer): super(GutterRendererChunkAction, self).__init__() self.from_pane = from_pane self.to_pane = to_pane # FIXME: Views are needed only for editable checking; connect to this # in Filediff instead? self.views = views # FIXME: Don't pass in the linediffer; pass a generator like elsewhere self.linediffer = linediffer self.mode = MODE_REPLACE self.set_size(LINE_HEIGHT) direction = 'LTR' if from_pane < to_pane else 'RTL' if self.views[0].get_direction() == Gtk.TextDirection.RTL: direction = 'LTR' if direction == 'RTL' else 'RTL' self.action_map = self.ACTION_MAP[direction] self.filediff = filediff self.filediff.connect("action-mode-changed", self.on_container_mode_changed) meldsettings.connect('changed', self.on_setting_changed) self.on_setting_changed(meldsettings, 'style-scheme')
def __init__(self): self.filediff = None self.views = [] meldsettings.connect('changed', self.on_setting_changed)
def __init__(self): self.filediff = None meldsettings.connect('changed', self.on_setting_changed)