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