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