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 CreateBackendWidgetPlug(uint socketId) { Gdk.Threads.Enter(); plug = new Gtk.Plug(socketId); plug.Add(Backend); plug.Decorated = false; plug.ShowAll(); Gdk.Threads.Leave(); }
public void CreateWrapperWidgetPlug (uint socketId) { Gdk.Threads.Enter (); plug = new Gtk.Plug (socketId); plug.Add (WrapperWidget); plug.Decorated = false; plug.ShowAll (); Gdk.Threads.Leave (); }