void OnRootWidgetChanged() { if (designer != null) { if (designer.Parent is Gtk.Plug) { ((Gtk.Plug)designer.Parent).Remove(designer); } designer = null; } if (plug != null) { Gdk.Threads.Enter(); plug.Add(WrapperWidget); plug.ShowAll(); Gdk.Threads.Leave(); } if (frontend != null) { frontend.NotifyRootWidgetChanged(); } if (RootWidgetChanged != null) { RootWidgetChanged(this, EventArgs.Empty); } }
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 CreateBackendWidgetPlug(uint socketId) { Gdk.Threads.Enter(); plug = new Gtk.Plug(socketId); plug.Add(Backend); plug.Decorated = false; plug.ShowAll(); Gdk.Threads.Leave(); }
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 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 (); }