public void HandleManageExtensions (object sender, EventArgs args) { Mono.Addins.Gui.AddinManagerWindow.Run (main_window); }