public ContextActionWidget(ContextActionEditorExtension ext, MonoDevelop.Ide.Gui.Document document, DomLocation loc, List <ContextAction> fixes)
{
this.ext = ext;
this.document = document;
this.loc = loc;
this.fixes = fixes;
Events = Gdk.EventMask.AllEventsMask;
icon = ImageService.GetPixbuf("md-text-quickfix", Gtk.IconSize.Menu);
this.SetSizeRequest(Math.Max((int)document.Editor.LineHeight, icon.Width) + 4, (int)document.Editor.LineHeight + 4);
ShowAll();
document.Editor.Parent.EditorOptionsChanged += HandleDocumentEditorParentEditorOptionsChanged;
;
}
public ContextActionWidget (ContextActionEditorExtension ext, MonoDevelop.Ide.Gui.Document document, DomLocation loc, List<ContextAction> fixes)
{
this.ext = ext;
this.document = document;
this.loc = loc;
this.fixes = fixes;
Events = Gdk.EventMask.AllEventsMask;
icon = ImageService.GetPixbuf ("md-text-quickfix", Gtk.IconSize.Menu);
this.SetSizeRequest (Math.Max ((int)document.Editor.LineHeight , icon.Width) + 4, (int)document.Editor.LineHeight + 4);
ShowAll ();
document.Editor.Parent.EditorOptionsChanged += HandleDocumentEditorParentEditorOptionsChanged;
;
}
