public MiddleArea(EditorCompareWidgetBase widget, MonoTextEditor fromEditor, MonoTextEditor toEditor, bool useLeft) { this.widget = widget; this.Events |= EventMask.PointerMotionMask | EventMask.ButtonPressMask; this.fromEditor = fromEditor; this.toEditor = toEditor; this.useLeft = useLeft; this.toEditor.EditorOptionsChanged += HandleToEditorhandleEditorOptionsChanged; }
public DiffScrollbar(EditorCompareWidgetBase widget, MonoTextEditor editor, bool useLeftDiff, bool paintInsert) { this.editor = editor; this.useLeftDiff = useLeftDiff; this.paintInsert = paintInsert; this.widget = widget; vAdjustment = widget.vAdjustment; vAdjustment.ValueChanged += HandleValueChanged; WidthRequest = 50; Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask; Show(); }
public MiddleArea(EditorCompareWidgetBase widget, MonoTextEditor fromEditor, MonoTextEditor toEditor, bool useLeft) { this.widget = widget; this.Events |= EventMask.PointerMotionMask | EventMask.ButtonPressMask; this.fromEditor = fromEditor; this.toEditor = toEditor; this.useLeft = useLeft; this.toEditor.EditorOptionsChanged += HandleToEditorhandleEditorOptionsChanged; this.widget.DiffChanged += Widget_DiffChanged; this.fromEditor.VAdjustment.ValueChanged += VAdjustment_Changed; this.toEditor.VAdjustment.ValueChanged += VAdjustment_Changed; Accessible.SetRole(AtkCocoa.Roles.AXGroup); Accessible.SetTitle(GettextCatalog.GetString("Revert changes margin")); }
private Color GetColor(Hunk hunk, bool removeSide, bool dark) { return(EditorCompareWidgetBase.GetColor(hunk, removeSide, dark, 1.0)); }
public DiffScrollbar (EditorCompareWidgetBase widget, TextEditor editor, bool useLeftDiff, bool paintInsert) { this.editor = editor; this.useLeftDiff = useLeftDiff; this.paintInsert = paintInsert; this.widget = widget; widget.vAdjustment.ValueChanged += delegate { QueueDraw (); }; WidthRequest = 50; Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask; Show (); }
public MiddleArea (EditorCompareWidgetBase widget, TextEditor fromEditor, TextEditor toEditor, bool useLeft) { this.widget = widget; this.Events |= EventMask.PointerMotionMask | EventMask.ButtonPressMask; this.fromEditor = fromEditor; this.toEditor = toEditor; this.useLeft = useLeft; this.toEditor.EditorOptionsChanged += HandleToEditorhandleEditorOptionsChanged; }