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