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