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