Exemplo n.º 1
0
        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();
        }
Exemplo n.º 2
0
        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();
        }
Exemplo n.º 3
0
 public void DestroyProjectWidgetPlug()
 {
     if (projectWidget != null)
     {
         Gtk.Plug plug = (Gtk.Plug)projectWidget.Parent;
         plug.Remove(projectWidget);
         plug.Destroy();
     }
 }
Exemplo n.º 4
0
 public void DestroySignalsWidgetPlug()
 {
     if (signalsWidget != null)
     {
         Gtk.Plug plug = (Gtk.Plug)signalsWidget.Editor.Parent;
         plug.Remove(signalsWidget.Editor);
         plug.Destroy();
     }
 }
Exemplo n.º 5
0
 public void DestroyPaletteWidgetPlug()
 {
     if (paletteWidget != null)
     {
         Gtk.Plug plug = (Gtk.Plug)paletteWidget.Parent;
         plug.Remove(paletteWidget);
         plug.Destroy();
     }
 }
Exemplo n.º 6
0
 public void CreateBackendWidgetPlug(uint socketId)
 {
     Gdk.Threads.Enter();
     plug = new Gtk.Plug(socketId);
     plug.Add(Backend);
     plug.Decorated = false;
     plug.ShowAll();
     Gdk.Threads.Leave();
 }
Exemplo n.º 7
0
 public void DestroyBackendWidgetPlug()
 {
     if (designer != null)
     {
         Gtk.Plug plug = (Gtk.Plug)designer.Parent;
         plug.Remove(designer);
         plug.Destroy();
     }
 }
Exemplo n.º 8
0
 public void DestroyWrapperWidgetPlug()
 {
     if (designer != null)
     {
         Gtk.Plug plug = (Gtk.Plug)WrapperWidget.Parent;
         plug.Remove(WrapperWidget);
         plug.Destroy();
     }
 }
Exemplo n.º 9
0
        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);
        }
Exemplo n.º 10
0
        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);
        }
Exemplo n.º 11
0
		public void CreateWrapperWidgetPlug (uint socketId)
		{
			Gdk.Threads.Enter ();
			plug = new Gtk.Plug (socketId);
			plug.Add (WrapperWidget);
			plug.Decorated = false;
			plug.ShowAll ();
			Gdk.Threads.Leave ();
		}
Exemplo n.º 12
0
		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 ();
		}
Exemplo n.º 13
0
		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;
		}
Exemplo n.º 14
0
		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 ();
		}
Exemplo n.º 15
0
		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);
		}