public void DestroyWrapperWidgetPlug() { if (designer != null) { Gtk.Plug plug = (Gtk.Plug) WrapperWidget.Parent; plug.Remove (WrapperWidget); plug.Destroy (); } }
protected override void OnDestroyPlug(uint socketId) { session.DestroyWrapperWidgetPlug(); }