public void CreateProjectWidgetPlug(ProjectViewFrontend frontend, uint socketId) { Gtk.Plug plug = new Gtk.Plug(socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); plug.Add(GetProjectWidget(frontend)); plug.Show(); }
public void CreatePropertiesWidgetPlug(uint socketId) { Gtk.Plug plug = new Gtk.Plug(socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); plug.Add(GetPropertiesWidget()); plug.Show(); }
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 DestroyPaletteWidgetPlug() { if (paletteWidget != null) { Gtk.Plug plug = (Gtk.Plug)paletteWidget.Parent; plug.Remove(paletteWidget); plug.Destroy(); } }
public void CreateBackendWidgetPlug(uint socketId) { Gdk.Threads.Enter(); plug = new Gtk.Plug(socketId); plug.Add(Backend); plug.Decorated = false; plug.ShowAll(); Gdk.Threads.Leave(); }
public void DestroyBackendWidgetPlug() { if (designer != null) { Gtk.Plug plug = (Gtk.Plug)designer.Parent; plug.Remove(designer); plug.Destroy(); } }
public void DestroyWrapperWidgetPlug() { if (designer != null) { Gtk.Plug plug = (Gtk.Plug)WrapperWidget.Parent; plug.Remove(WrapperWidget); plug.Destroy(); } }
public SignalsEditorEditSession CreateSignalsWidgetPlug(SignalsEditorFrontend frontend, uint socketId) { Gtk.Plug plug = new Gtk.Plug(socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); SignalsEditorEditSession session = GetSignalsWidget(frontend); plug.Add(session.Editor); plug.Show(); return(session); }
public void Dispose() { if (designer != null) { designer.Editor.GroupModified -= OnModified; if (!designerRequested) { designer.Destroy(); } } project.ProjectReloaded -= OnProjectReloaded; if (plug != null) { plug.Destroy(); plug = null; } System.Runtime.Remoting.RemotingServices.Disconnect(this); }
public void CreateWrapperWidgetPlug (uint socketId) { Gdk.Threads.Enter (); plug = new Gtk.Plug (socketId); plug.Add (WrapperWidget); plug.Decorated = false; plug.ShowAll (); Gdk.Threads.Leave (); }
public void CreateProjectWidgetPlug (ProjectViewFrontend frontend, uint socketId) { Gtk.Plug plug = new Gtk.Plug (socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); plug.Add (GetProjectWidget (frontend)); plug.Show (); }
public SignalsEditorEditSession CreateSignalsWidgetPlug (SignalsEditorFrontend frontend, uint socketId) { Gtk.Plug plug = new Gtk.Plug (socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); SignalsEditorEditSession session = GetSignalsWidget (frontend); plug.Add (session.Editor); plug.Show (); return session; }
public void CreatePropertiesWidgetPlug (uint socketId) { Gtk.Plug plug = new Gtk.Plug (socketId); plug.Decorated = false; // Gtk.Window plug = new Gtk.Window (""); plug.Add (GetPropertiesWidget ()); plug.Show (); }
public void Dispose () { if (designer != null) { designer.Editor.GroupModified -= OnModified; if (!designerRequested) designer.Destroy (); } project.ProjectReloaded -= OnProjectReloaded; if (plug != null) { plug.Destroy (); plug = null; } System.Runtime.Remoting.RemotingServices.Disconnect (this); }