public void DestroyProjectWidgetPlug()
{
if (projectWidget != null)
{
Gtk.Plug plug = (Gtk.Plug)projectWidget.Parent;
plug.Remove(projectWidget);
plug.Destroy();
}
}
public void DestroySignalsWidgetPlug()
{
if (signalsWidget != null)
{
Gtk.Plug plug = (Gtk.Plug)signalsWidget.Editor.Parent;
plug.Remove(signalsWidget.Editor);
plug.Destroy();
}
}
public void DestroyBackendWidgetPlug()
{
if (designer != null)
{
Gtk.Plug plug = (Gtk.Plug)designer.Parent;
plug.Remove(designer);
plug.Destroy();
}
}
public void DestroyPaletteWidgetPlug()
{
if (paletteWidget != null)
{
Gtk.Plug plug = (Gtk.Plug)paletteWidget.Parent;
plug.Remove(paletteWidget);
plug.Destroy();
}
}
public void DestroyWrapperWidgetPlug()
{
if (designer != null)
{
Gtk.Plug plug = (Gtk.Plug)WrapperWidget.Parent;
plug.Remove(WrapperWidget);
plug.Destroy();
}
}
