public void DestroyProjectWidgetPlug() { if (projectWidget != null) { Gtk.Plug plug = (Gtk.Plug)projectWidget.Parent; plug.Remove (projectWidget); plug.Destroy (); } }