public void RemoveWidget () { if (widget == null) return; TextEditor editor = Document.Editor.Parent; var container = editor.Parent as TextEditorContainer; if (container != null) { container.Remove (widget); container.QueueDraw (); } widget.Destroy (); widget = null; }
public void CreateWidget (List<ContextAction> fixes, DomLocation loc) { if (!fixes.Any ()) return; widget = new ContextActionWidget (this, Document, loc, fixes); var container = Document.Editor.Parent.Parent as TextEditorContainer; if (container == null) return; container.AddTopLevelWidget (widget, 2 + (int)Document.Editor.Parent.TextViewMargin.XOffset, -2 + (int)document.Editor.Parent.LineToY (document.Editor.Caret.Line)); widget.Show (); }
public void RemoveWidget() { if (widget == null) { return; } TextEditor editor = Document.Editor.Parent; var container = editor.Parent as TextEditorContainer; if (container != null) { container.Remove(widget); container.QueueDraw(); } widget.Destroy(); widget = null; }
public void CreateWidget(List <ContextAction> fixes, DomLocation loc) { if (!fixes.Any()) { return; } widget = new ContextActionWidget(this, Document, loc, fixes); var container = Document.Editor.Parent.Parent as TextEditorContainer; if (container == null) { return; } container.AddTopLevelWidget(widget, 2 + (int)Document.Editor.Parent.TextViewMargin.XOffset, -2 + (int)document.Editor.Parent.LineToY(document.Editor.Caret.Line)); widget.Show(); }