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