public BlameWidget(VersionControlDocumentInfo info)
{
this.info = info;
vAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
editor = new TextEditor(info.Document.TextEditorData.Document, info.Document.TextEditorData.Options);
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.ExposeEvent += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
}
public BlameWidget(VersionControlDocumentInfo info)
{
GtkWorkarounds.FixContainerLeak(this);
this.info = info;
var sourceEditor = info.Document.GetContent <MonoDevelop.SourceEditor.SourceEditorView> ();
vAdjustment = new Adjustment(
sourceEditor.TextEditor.VAdjustment.Value,
sourceEditor.TextEditor.VAdjustment.Lower,
sourceEditor.TextEditor.VAdjustment.Upper,
sourceEditor.TextEditor.VAdjustment.StepIncrement,
sourceEditor.TextEditor.VAdjustment.PageIncrement,
sourceEditor.TextEditor.VAdjustment.PageSize);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(
sourceEditor.TextEditor.HAdjustment.Value,
sourceEditor.TextEditor.HAdjustment.Lower,
sourceEditor.TextEditor.HAdjustment.Upper,
sourceEditor.TextEditor.HAdjustment.StepIncrement,
sourceEditor.TextEditor.HAdjustment.PageIncrement,
sourceEditor.TextEditor.HAdjustment.PageSize);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
var doc = new TextDocument(sourceEditor.TextEditor.Document.Text)
{
IsReadOnly = true,
MimeType = sourceEditor.TextEditor.Document.MimeType,
};
editor = new MonoTextEditor(doc, sourceEditor.TextEditor.Options);
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw();
};
editor.DoPopupMenu = ShowPopup;
Show();
}
public AuthorSectionAccessible(BlameRenderer widget, int line, Annotation ann, double y1, double y2)
{
if (widget is null)
{
throw new ArgumentNullException(nameof(widget));
}
if (ann is null)
{
throw new ArgumentNullException(nameof(ann));
}
Accessible = AccessibilityElementProxy.ButtonElementProxy();
Accessible.GtkParent = widget;
Accessible.SetRole(AtkCocoa.Roles.AXMenuButton);
Accessible.Title = GettextCatalog.GetString("Authors Overview");
string msg = widget.GetCommitMessage(line, false);
Accessible.Label = GettextCatalog.GetString("Author {0} Date {1} Revision {2} Message {3}", ann.Author, ann.Date, widget.TruncRevision(ann.Text), msg);
Accessible.PerformPress += Accessible_PerformPress;
int y = (int)y1;
int h = (int)(y2 - y1);
Accessible.FrameInGtkParent = new Rectangle(0, y, widget.Allocation.Width, h);
var cocoaY = widget.Allocation.Height - y - h;
Accessible.FrameInParent = new Rectangle(0, cocoaY, widget.Allocation.Width, h);
this.widget = widget;
this.annotation = ann;
this.y = (int)y2;
}
public BlameWidget(VersionControlDocumentInfo info)
{
GtkWorkarounds.FixContainerLeak(this);
this.info = info;
var textView = info.Controller.GetContent <ITextView> ();
vAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
var doc = new TextDocument(textView.TextSnapshot.GetText())
{
IsReadOnly = true,
MimeType = IdeServices.DesktopService.GetMimeTypeForContentType(textView.TextBuffer.ContentType)
};
var options = new CustomEditorOptions(DefaultSourceEditorOptions.Instance);
options.TabsToSpaces = false;
editor = new MonoTextEditor(doc, new SourceEditor.StyledSourceEditorOptions(options));
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw();
};
editor.DoPopupMenu = ShowPopup;
Show();
}
public BlameWidget(VersionControlDocumentInfo info)
{
this.info = info;
var sourceEditor = info.Document.GetContent <MonoDevelop.SourceEditor.SourceEditorView> ();
vAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
editor = new TextEditor(sourceEditor.TextEditor.Document, sourceEditor.TextEditor.Options);
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw();
};
editor.ButtonPressEvent += OnPopupMenu;
Show();
}
public BlameWidget (VersionControlDocumentInfo info)
{
this.info = info;
vAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar (vAdjustment);
AddChild (vScrollBar);
hAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar (hAdjustment);
AddChild (hScrollBar);
editor = new TextEditor (info.Document.Editor.Document, info.Document.Editor.Options);
AddChild (editor);
editor.SetScrollAdjustments (hAdjustment, vAdjustment);
overview = new BlameRenderer (this);
AddChild (overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged ();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw ();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw ();
};
editor.ButtonPressEvent += OnPopupMenu;
Show ();
}
public BlameWidget (VersionControlDocumentInfo info)
{
GtkWorkarounds.FixContainerLeak (this);
this.info = info;
var sourceEditor = info.Document.GetContent<MonoDevelop.SourceEditor.SourceEditorView> ();
vAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar (vAdjustment);
AddChild (vScrollBar);
hAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar (hAdjustment);
AddChild (hScrollBar);
editor = new TextEditor (sourceEditor.TextEditor.Document, sourceEditor.TextEditor.Options);
AddChild (editor);
editor.SetScrollAdjustments (hAdjustment, vAdjustment);
overview = new BlameRenderer (this);
AddChild (overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged ();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw ();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw ();
};
editor.DoPopupMenu = ShowPopup;
Show ();
}
public BlameWidget (VersionControlDocumentInfo info)
{
this.info = info;
vAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar (vAdjustment);
AddChild (vScrollBar);
hAdjustment = new Adjustment (0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar (hAdjustment);
AddChild (hScrollBar);
editor = new TextEditor (info.Document.TextEditorData.Document, info.Document.TextEditorData.Options);
AddChild (editor);
editor.SetScrollAdjustments (hAdjustment, vAdjustment);
overview = new BlameRenderer (this);
AddChild (overview);
this.DoubleBuffered = true;
editor.ExposeEvent += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged ();
};
}
