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