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;
}
