/// <summary> /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// </summary> private void InitializeComponent() { this.graphControl1 = new Netron.GraphLib.UI.GraphControl(); this.statusBar1 = new System.Windows.Forms.StatusBar(); this.mainMenu1 = new System.Windows.Forms.MainMenu(); this.menuItem1 = new System.Windows.Forms.MenuItem(); this.menuItem2 = new System.Windows.Forms.MenuItem(); this.tabControl1 = new System.Windows.Forms.TabControl(); this.tabPage1 = new System.Windows.Forms.TabPage(); this.tabPage2 = new System.Windows.Forms.TabPage(); this.panel1 = new System.Windows.Forms.Panel(); this.stamper1 = new Netron.GraphLib.UI.Stamper(); this.splitter2 = new System.Windows.Forms.Splitter(); this.propertyGrid1 = new System.Windows.Forms.PropertyGrid(); this.splitter1 = new System.Windows.Forms.Splitter(); this.tabControl1.SuspendLayout(); this.tabPage1.SuspendLayout(); this.panel1.SuspendLayout(); this.SuspendLayout(); // // graphControl1 // this.graphControl1.AllowAddConnection = true; this.graphControl1.AllowAddShape = true; this.graphControl1.AllowDeleteShape = true; this.graphControl1.AllowDrop = true; this.graphControl1.AllowMoveShape = true; this.graphControl1.AutomataPulse = 10; this.graphControl1.AutoScroll = true; this.graphControl1.BackgroundColor = System.Drawing.Color.Gray; this.graphControl1.BackgroundImagePath = null; this.graphControl1.BackgroundType = Netron.GraphLib.CanvasBackgroundTypes.FlatColor; this.graphControl1.DefaultConnectionPath = "Default"; this.graphControl1.DefaultLineEnd = Netron.GraphLib.ConnectionEnds.NoEnds; this.graphControl1.Dock = System.Windows.Forms.DockStyle.Fill; this.graphControl1.DoTrack = false; this.graphControl1.EnableContextMenu = false; this.graphControl1.EnableLayout = false; this.graphControl1.FileName = null; this.graphControl1.Font = new System.Drawing.Font("Tahoma", 9.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(0))); this.graphControl1.GradientBottom = System.Drawing.Color.White; this.graphControl1.GradientTop = System.Drawing.Color.LightSteelBlue; this.graphControl1.GraphLayoutAlgorithm = Netron.GraphLib.GraphLayoutAlgorithms.SpringEmbedder; this.graphControl1.GridSize = 20; this.graphControl1.Location = new System.Drawing.Point(0, 0); this.graphControl1.Name = "graphControl1"; this.graphControl1.RestrictToCanvas = false; this.graphControl1.ShowGrid = true; this.graphControl1.Size = new System.Drawing.Size(424, 445); this.graphControl1.Snap = false; this.graphControl1.TabIndex = 4; this.graphControl1.Text = "graphControl1"; this.graphControl1.Zoom = 1F; this.graphControl1.ShowNodeProperties += new Netron.GraphLib.ShowPropsDelegate(this.graphControl1_ShowNodeProperties); // // statusBar1 // this.statusBar1.Location = new System.Drawing.Point(0, 471); this.statusBar1.Name = "statusBar1"; this.statusBar1.Size = new System.Drawing.Size(728, 22); this.statusBar1.TabIndex = 2; this.statusBar1.Text = "statusBar1"; // // mainMenu1 // this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] { this.menuItem1}); // // menuItem1 // this.menuItem1.Index = 0; this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] { this.menuItem2}); this.menuItem1.Text = "File"; // // menuItem2 // this.menuItem2.Index = 0; this.menuItem2.Text = "Exit"; // // tabControl1 // this.tabControl1.Controls.Add(this.tabPage1); this.tabControl1.Controls.Add(this.tabPage2); this.tabControl1.Dock = System.Windows.Forms.DockStyle.Left; this.tabControl1.Location = new System.Drawing.Point(0, 0); this.tabControl1.Name = "tabControl1"; this.tabControl1.SelectedIndex = 0; this.tabControl1.Size = new System.Drawing.Size(432, 471); this.tabControl1.TabIndex = 5; // // tabPage1 // this.tabPage1.Controls.Add(this.graphControl1); this.tabPage1.Location = new System.Drawing.Point(4, 22); this.tabPage1.Name = "tabPage1"; this.tabPage1.Size = new System.Drawing.Size(424, 445); this.tabPage1.TabIndex = 0; this.tabPage1.Text = "Configuration"; // // tabPage2 // this.tabPage2.Location = new System.Drawing.Point(4, 22); this.tabPage2.Name = "tabPage2"; this.tabPage2.Size = new System.Drawing.Size(424, 445); this.tabPage2.TabIndex = 1; this.tabPage2.Text = "Facilities"; // // panel1 // this.panel1.BackColor = System.Drawing.SystemColors.Control; this.panel1.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D; this.panel1.Controls.Add(this.propertyGrid1); this.panel1.Controls.Add(this.splitter2); this.panel1.Controls.Add(this.stamper1); this.panel1.Dock = System.Windows.Forms.DockStyle.Fill; this.panel1.Location = new System.Drawing.Point(432, 0); this.panel1.Name = "panel1"; this.panel1.Size = new System.Drawing.Size(296, 471); this.panel1.TabIndex = 7; // // stamper1 // this.stamper1.AutoScroll = true; this.stamper1.Dock = System.Windows.Forms.DockStyle.Bottom; this.stamper1.Location = new System.Drawing.Point(0, 259); this.stamper1.Name = "stamper1"; this.stamper1.Size = new System.Drawing.Size(292, 208); this.stamper1.TabIndex = 2; this.stamper1.Zoom = 0.2F; // // splitter2 // this.splitter2.Dock = System.Windows.Forms.DockStyle.Bottom; this.splitter2.Location = new System.Drawing.Point(0, 256); this.splitter2.Name = "splitter2"; this.splitter2.Size = new System.Drawing.Size(292, 3); this.splitter2.TabIndex = 3; this.splitter2.TabStop = false; // // propertyGrid1 // this.propertyGrid1.CommandsVisibleIfAvailable = true; this.propertyGrid1.Dock = System.Windows.Forms.DockStyle.Fill; this.propertyGrid1.LargeButtons = false; this.propertyGrid1.LineColor = System.Drawing.SystemColors.ScrollBar; this.propertyGrid1.Location = new System.Drawing.Point(0, 0); this.propertyGrid1.Name = "propertyGrid1"; this.propertyGrid1.Size = new System.Drawing.Size(292, 256); this.propertyGrid1.TabIndex = 4; this.propertyGrid1.Text = "propertyGrid1"; this.propertyGrid1.ViewBackColor = System.Drawing.SystemColors.Window; this.propertyGrid1.ViewForeColor = System.Drawing.SystemColors.WindowText; // // splitter1 // this.splitter1.Location = new System.Drawing.Point(432, 0); this.splitter1.Name = "splitter1"; this.splitter1.Size = new System.Drawing.Size(3, 471); this.splitter1.TabIndex = 8; this.splitter1.TabStop = false; // // Form1 // this.AutoScaleBaseSize = new System.Drawing.Size(5, 14); this.ClientSize = new System.Drawing.Size(728, 493); this.Controls.Add(this.splitter1); this.Controls.Add(this.panel1); this.Controls.Add(this.tabControl1); this.Controls.Add(this.statusBar1); this.Font = new System.Drawing.Font("Tahoma", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(0))); this.Menu = this.mainMenu1; this.Name = "Form1"; this.Text = "Form1"; this.tabControl1.ResumeLayout(false); this.tabPage1.ResumeLayout(false); this.panel1.ResumeLayout(false); this.ResumeLayout(false); }
/// <summary> /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// </summary> private void InitializeComponent() { this.graphControl1 = new Netron.GraphLib.UI.GraphControl(); this.statusBar1 = new System.Windows.Forms.StatusBar(); this.mainMenu1 = new System.Windows.Forms.MainMenu(); this.menuItem1 = new System.Windows.Forms.MenuItem(); this.menuItem2 = new System.Windows.Forms.MenuItem(); this.tabControl1 = new System.Windows.Forms.TabControl(); this.tabPage1 = new System.Windows.Forms.TabPage(); this.tabPage2 = new System.Windows.Forms.TabPage(); this.panel1 = new System.Windows.Forms.Panel(); this.stamper1 = new Netron.GraphLib.UI.Stamper(); this.splitter2 = new System.Windows.Forms.Splitter(); this.propertyGrid1 = new System.Windows.Forms.PropertyGrid(); this.splitter1 = new System.Windows.Forms.Splitter(); this.tabControl1.SuspendLayout(); this.tabPage1.SuspendLayout(); this.panel1.SuspendLayout(); this.SuspendLayout(); // // graphControl1 // this.graphControl1.AllowAddConnection = true; this.graphControl1.AllowAddShape = true; this.graphControl1.AllowDeleteShape = true; this.graphControl1.AllowDrop = true; this.graphControl1.AllowMoveShape = true; this.graphControl1.AutomataPulse = 10; this.graphControl1.AutoScroll = true; this.graphControl1.BackgroundColor = System.Drawing.Color.Gray; this.graphControl1.BackgroundImagePath = null; this.graphControl1.BackgroundType = Netron.GraphLib.CanvasBackgroundTypes.FlatColor; this.graphControl1.DefaultConnectionPath = "Default"; this.graphControl1.DefaultLineEnd = Netron.GraphLib.ConnectionEnds.NoEnds; this.graphControl1.Dock = System.Windows.Forms.DockStyle.Fill; this.graphControl1.DoTrack = false; this.graphControl1.EnableContextMenu = false; this.graphControl1.EnableLayout = false; this.graphControl1.FileName = null; this.graphControl1.Font = new System.Drawing.Font("Tahoma", 9.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(0))); this.graphControl1.GradientBottom = System.Drawing.Color.White; this.graphControl1.GradientTop = System.Drawing.Color.LightSteelBlue; this.graphControl1.GraphLayoutAlgorithm = Netron.GraphLib.GraphLayoutAlgorithms.SpringEmbedder; this.graphControl1.GridSize = 20; this.graphControl1.Location = new System.Drawing.Point(0, 0); this.graphControl1.Name = "graphControl1"; this.graphControl1.RestrictToCanvas = false; this.graphControl1.ShowGrid = true; this.graphControl1.Size = new System.Drawing.Size(424, 445); this.graphControl1.Snap = false; this.graphControl1.TabIndex = 4; this.graphControl1.Text = "graphControl1"; this.graphControl1.Zoom = 1F; this.graphControl1.ShowNodeProperties += new Netron.GraphLib.ShowPropsDelegate(this.graphControl1_ShowNodeProperties); // // statusBar1 // this.statusBar1.Location = new System.Drawing.Point(0, 471); this.statusBar1.Name = "statusBar1"; this.statusBar1.Size = new System.Drawing.Size(728, 22); this.statusBar1.TabIndex = 2; this.statusBar1.Text = "statusBar1"; // // mainMenu1 // this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] { this.menuItem1 }); // // menuItem1 // this.menuItem1.Index = 0; this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] { this.menuItem2 }); this.menuItem1.Text = "File"; // // menuItem2 // this.menuItem2.Index = 0; this.menuItem2.Text = "Exit"; // // tabControl1 // this.tabControl1.Controls.Add(this.tabPage1); this.tabControl1.Controls.Add(this.tabPage2); this.tabControl1.Dock = System.Windows.Forms.DockStyle.Left; this.tabControl1.Location = new System.Drawing.Point(0, 0); this.tabControl1.Name = "tabControl1"; this.tabControl1.SelectedIndex = 0; this.tabControl1.Size = new System.Drawing.Size(432, 471); this.tabControl1.TabIndex = 5; // // tabPage1 // this.tabPage1.Controls.Add(this.graphControl1); this.tabPage1.Location = new System.Drawing.Point(4, 22); this.tabPage1.Name = "tabPage1"; this.tabPage1.Size = new System.Drawing.Size(424, 445); this.tabPage1.TabIndex = 0; this.tabPage1.Text = "Configuration"; // // tabPage2 // this.tabPage2.Location = new System.Drawing.Point(4, 22); this.tabPage2.Name = "tabPage2"; this.tabPage2.Size = new System.Drawing.Size(424, 445); this.tabPage2.TabIndex = 1; this.tabPage2.Text = "Facilities"; // // panel1 // this.panel1.BackColor = System.Drawing.SystemColors.Control; this.panel1.BorderStyle = System.Windows.Forms.BorderStyle.Fixed3D; this.panel1.Controls.Add(this.propertyGrid1); this.panel1.Controls.Add(this.splitter2); this.panel1.Controls.Add(this.stamper1); this.panel1.Dock = System.Windows.Forms.DockStyle.Fill; this.panel1.Location = new System.Drawing.Point(432, 0); this.panel1.Name = "panel1"; this.panel1.Size = new System.Drawing.Size(296, 471); this.panel1.TabIndex = 7; // // stamper1 // this.stamper1.AutoScroll = true; this.stamper1.Dock = System.Windows.Forms.DockStyle.Bottom; this.stamper1.Location = new System.Drawing.Point(0, 259); this.stamper1.Name = "stamper1"; this.stamper1.Size = new System.Drawing.Size(292, 208); this.stamper1.TabIndex = 2; this.stamper1.Zoom = 0.2F; // // splitter2 // this.splitter2.Dock = System.Windows.Forms.DockStyle.Bottom; this.splitter2.Location = new System.Drawing.Point(0, 256); this.splitter2.Name = "splitter2"; this.splitter2.Size = new System.Drawing.Size(292, 3); this.splitter2.TabIndex = 3; this.splitter2.TabStop = false; // // propertyGrid1 // this.propertyGrid1.CommandsVisibleIfAvailable = true; this.propertyGrid1.Dock = System.Windows.Forms.DockStyle.Fill; this.propertyGrid1.LargeButtons = false; this.propertyGrid1.LineColor = System.Drawing.SystemColors.ScrollBar; this.propertyGrid1.Location = new System.Drawing.Point(0, 0); this.propertyGrid1.Name = "propertyGrid1"; this.propertyGrid1.Size = new System.Drawing.Size(292, 256); this.propertyGrid1.TabIndex = 4; this.propertyGrid1.Text = "propertyGrid1"; this.propertyGrid1.ViewBackColor = System.Drawing.SystemColors.Window; this.propertyGrid1.ViewForeColor = System.Drawing.SystemColors.WindowText; // // splitter1 // this.splitter1.Location = new System.Drawing.Point(432, 0); this.splitter1.Name = "splitter1"; this.splitter1.Size = new System.Drawing.Size(3, 471); this.splitter1.TabIndex = 8; this.splitter1.TabStop = false; // // Form1 // this.AutoScaleBaseSize = new System.Drawing.Size(5, 14); this.ClientSize = new System.Drawing.Size(728, 493); this.Controls.Add(this.splitter1); this.Controls.Add(this.panel1); this.Controls.Add(this.tabControl1); this.Controls.Add(this.statusBar1); this.Font = new System.Drawing.Font("Tahoma", 8.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(0))); this.Menu = this.mainMenu1; this.Name = "Form1"; this.Text = "Form1"; this.tabControl1.ResumeLayout(false); this.tabPage1.ResumeLayout(false); this.panel1.ResumeLayout(false); this.ResumeLayout(false); }