Exemple #1
0
 /// <summary>
 /// Required method for Designer support - do not modify
 /// the contents of this method with the code editor.
 /// </summary>
 private void InitializeComponent()
 {
     this.drawingPanel       = new MurphyPA.H2D.TestApp.DrawingSurface();
     this.pictureHolderPanel = new System.Windows.Forms.Panel();
     this.pictureHolderPanel.SuspendLayout();
     this.SuspendLayout();
     //
     // drawingPanel
     //
     this.drawingPanel.Location   = new System.Drawing.Point(0, 0);
     this.drawingPanel.Name       = "drawingPanel";
     this.drawingPanel.Size       = new System.Drawing.Size(2048, 2048);
     this.drawingPanel.TabIndex   = 6;
     this.drawingPanel.MouseUp   += new System.Windows.Forms.MouseEventHandler(this.drawingPanel_MouseUp);
     this.drawingPanel.Paint     += new System.Windows.Forms.PaintEventHandler(this.drawingPanel_Paint);
     this.drawingPanel.KeyUp     += new System.Windows.Forms.KeyEventHandler(this.drawingPanel_KeyUp);
     this.drawingPanel.MouseMove += new System.Windows.Forms.MouseEventHandler(this.drawingPanel_MouseMove);
     this.drawingPanel.MouseDown += new System.Windows.Forms.MouseEventHandler(this.drawingPanel_MouseDown);
     //
     // pictureHolderPanel
     //
     this.pictureHolderPanel.AutoScroll = true;
     this.pictureHolderPanel.Controls.Add(this.drawingPanel);
     this.pictureHolderPanel.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.pictureHolderPanel.Location = new System.Drawing.Point(0, 0);
     this.pictureHolderPanel.Name     = "pictureHolderPanel";
     this.pictureHolderPanel.Size     = new System.Drawing.Size(1000, 462);
     this.pictureHolderPanel.TabIndex = 8;
     //
     // GlyphControlPanel
     //
     this.Controls.Add(this.pictureHolderPanel);
     this.Name   = "GlyphControlPanel";
     this.Size   = new System.Drawing.Size(1000, 462);
     this.KeyUp += new System.Windows.Forms.KeyEventHandler(this.drawingPanel_KeyUp);
     this.pictureHolderPanel.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.components = new System.ComponentModel.Container();
     System.Resources.ResourceManager resources = new System.Resources.ResourceManager(typeof(TestStateGlyphControl));
     this.saveButton = new System.Windows.Forms.Button();
     this.imageList1 = new System.Windows.Forms.ImageList(this.components);
     this.loadButton = new System.Windows.Forms.Button();
     this.openFileDialog1 = new System.Windows.Forms.OpenFileDialog();
     this.saveFileDialog1 = new System.Windows.Forms.SaveFileDialog();
     this.newButton = new System.Windows.Forms.Button();
     this.drawingPanel = new MurphyPA.H2D.TestApp.DrawingSurface();
     this.contextMenu1 = new System.Windows.Forms.ContextMenu();
     this.menuItem4 = new System.Windows.Forms.MenuItem();
     this.newModelMenuItem = new System.Windows.Forms.MenuItem();
     this.loadFileMenuItem = new System.Windows.Forms.MenuItem();
     this.saveFileMenuItem = new System.Windows.Forms.MenuItem();
     this.menuItem5 = new System.Windows.Forms.MenuItem();
     this.convertToCodeMenuItem = new System.Windows.Forms.MenuItem();
     this.executeModelMenuItem = new System.Windows.Forms.MenuItem();
     this.convertToXmlMenuItem = new System.Windows.Forms.MenuItem();
     this.menuItem8 = new System.Windows.Forms.MenuItem();
     this.bandSelectorMenuItem = new System.Windows.Forms.MenuItem();
     this.handSelectorMenuItem = new System.Windows.Forms.MenuItem();
     this.commandsPanel = new System.Windows.Forms.Panel();
     this.diagramCommandsPanel = new System.Windows.Forms.GroupBox();
     this.tabControl1 = new System.Windows.Forms.TabControl();
     this.tabPageStateTools = new System.Windows.Forms.TabPage();
     this.toolBarStateTools = new System.Windows.Forms.ToolBar();
     this.toolBarButtonStateTool = new System.Windows.Forms.ToolBarButton();
     this.toolBarButtonTransitionTool = new System.Windows.Forms.ToolBarButton();
     this.toolBarButtonPortTool = new System.Windows.Forms.ToolBarButton();
     this.imageListTools = new System.Windows.Forms.ImageList(this.components);
     this.tabPageComponentTools = new System.Windows.Forms.TabPage();
     this.toolBarComponentTools = new System.Windows.Forms.ToolBar();
     this.toolBarButtonComponentTool = new System.Windows.Forms.ToolBarButton();
     this.toolBarButtonPortLinkTool = new System.Windows.Forms.ToolBarButton();
     this.tabPageOriginalOperationTools = new System.Windows.Forms.TabPage();
     this.panel2 = new System.Windows.Forms.Panel();
     this.operationLinkButton = new System.Windows.Forms.RadioButton();
     this.operationButton = new System.Windows.Forms.RadioButton();
     this.panel3 = new System.Windows.Forms.Panel();
     this.resetToHandCheckBox = new System.Windows.Forms.CheckBox();
     this.deleteButton = new System.Windows.Forms.Button();
     this.panel1 = new System.Windows.Forms.GroupBox();
     this.toXmlButton = new System.Windows.Forms.Button();
     this.convertToCodebutton = new System.Windows.Forms.Button();
     this.execButton = new System.Windows.Forms.Button();
     this.bandButton = new System.Windows.Forms.Button();
     this.moveButton = new System.Windows.Forms.Button();
     this.saveFileDialog2 = new System.Windows.Forms.SaveFileDialog();
     this.pictureHolderPanel = new System.Windows.Forms.Panel();
     this.hScrollBar1 = new System.Windows.Forms.HScrollBar();
     this.vScrollBar1 = new System.Windows.Forms.VScrollBar();
     this.checkVarsTimer = new System.Windows.Forms.Timer(this.components);
     this.saveFileDialog3 = new System.Windows.Forms.SaveFileDialog();
     this.commandsPanel.SuspendLayout();
     this.diagramCommandsPanel.SuspendLayout();
     this.tabControl1.SuspendLayout();
     this.tabPageStateTools.SuspendLayout();
     this.tabPageComponentTools.SuspendLayout();
     this.tabPageOriginalOperationTools.SuspendLayout();
     this.panel2.SuspendLayout();
     this.panel3.SuspendLayout();
     this.panel1.SuspendLayout();
     this.pictureHolderPanel.SuspendLayout();
     this.SuspendLayout();
     //
     // saveButton
     //
     this.saveButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.saveButton.ImageIndex = 1;
     this.saveButton.ImageList = this.imageList1;
     this.saveButton.Location = new System.Drawing.Point(16, 56);
     this.saveButton.Name = "saveButton";
     this.saveButton.TabIndex = 1;
     this.saveButton.Text = "&Save";
     //
     // imageList1
     //
     this.imageList1.ImageSize = new System.Drawing.Size(16, 16);
     this.imageList1.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("imageList1.ImageStream")));
     this.imageList1.TransparentColor = System.Drawing.Color.Transparent;
     //
     // loadButton
     //
     this.loadButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.loadButton.ImageIndex = 0;
     this.loadButton.ImageList = this.imageList1;
     this.loadButton.Location = new System.Drawing.Point(16, 24);
     this.loadButton.Name = "loadButton";
     this.loadButton.TabIndex = 0;
     this.loadButton.Text = "&Load";
     //
     // openFileDialog1
     //
     this.openFileDialog1.DefaultExt = "sm1";
     this.openFileDialog1.Filter = "State Machine Files|*.sm1";
     this.openFileDialog1.Title = "Select File to Load State Machine From";
     //
     // saveFileDialog1
     //
     this.saveFileDialog1.DefaultExt = "sm1";
     this.saveFileDialog1.Filter = "State Machine Files|*.sm1";
     this.saveFileDialog1.Title = "Select File to Save State Machine To";
     //
     // newButton
     //
     this.newButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.newButton.ImageIndex = 2;
     this.newButton.ImageList = this.imageList1;
     this.newButton.Location = new System.Drawing.Point(104, 24);
     this.newButton.Name = "newButton";
     this.newButton.TabIndex = 4;
     this.newButton.Text = "&New";
     this.newButton.Click += new System.EventHandler(this.newButton_Click);
     //
     // drawingPanel
     //
     this.drawingPanel.ContextMenu = this.contextMenu1;
     this.drawingPanel.Location = new System.Drawing.Point(0, 0);
     this.drawingPanel.Name = "drawingPanel";
     this.drawingPanel.Size = new System.Drawing.Size(2048, 2048);
     this.drawingPanel.TabIndex = 6;
     this.drawingPanel.MouseUp += new System.Windows.Forms.MouseEventHandler(this.TestStateGlyphForm_MouseUp);
     this.drawingPanel.Paint += new System.Windows.Forms.PaintEventHandler(this.drawingPanel_Paint);
     this.drawingPanel.KeyUp += new System.Windows.Forms.KeyEventHandler(this.drawingPanel_KeyUp);
     this.drawingPanel.MouseMove += new System.Windows.Forms.MouseEventHandler(this.TestStateGlyphForm_MouseMove);
     this.drawingPanel.MouseDown += new System.Windows.Forms.MouseEventHandler(this.TestStateGlyphForm_MouseDown);
     //
     // contextMenu1
     //
     this.contextMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                                  this.menuItem4,
                                                                                  this.menuItem5,
                                                                                  this.menuItem8});
     //
     // menuItem4
     //
     this.menuItem4.Index = 0;
     this.menuItem4.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.newModelMenuItem,
                                                                               this.loadFileMenuItem,
                                                                               this.saveFileMenuItem});
     this.menuItem4.Text = "&File";
     //
     // newModelMenuItem
     //
     this.newModelMenuItem.Index = 0;
     this.newModelMenuItem.Text = "&New";
     this.newModelMenuItem.Click += new System.EventHandler(this.newButton_Click);
     //
     // loadFileMenuItem
     //
     this.loadFileMenuItem.Index = 1;
     this.loadFileMenuItem.Text = "&Load";
     //
     // saveFileMenuItem
     //
     this.saveFileMenuItem.Index = 2;
     this.saveFileMenuItem.Text = "&Save";
     //
     // menuItem5
     //
     this.menuItem5.Index = 1;
     this.menuItem5.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.convertToCodeMenuItem,
                                                                               this.executeModelMenuItem,
                                                                               this.convertToXmlMenuItem});
     this.menuItem5.Text = "&Model";
     //
     // convertToCodeMenuItem
     //
     this.convertToCodeMenuItem.Index = 0;
     this.convertToCodeMenuItem.Text = "Convert To C&ode";
     //
     // executeModelMenuItem
     //
     this.executeModelMenuItem.Index = 1;
     this.executeModelMenuItem.Text = "&Execute";
     this.executeModelMenuItem.Click += new System.EventHandler(this.execButton_Click);
     //
     // convertToXmlMenuItem
     //
     this.convertToXmlMenuItem.Index = 2;
     this.convertToXmlMenuItem.Text = "Convert To &Xml";
     //
     // menuItem8
     //
     this.menuItem8.Index = 2;
     this.menuItem8.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.bandSelectorMenuItem,
                                                                               this.handSelectorMenuItem});
     this.menuItem8.Text = "&Selector";
     //
     // bandSelectorMenuItem
     //
     this.bandSelectorMenuItem.Index = 0;
     this.bandSelectorMenuItem.Text = "&Band";
     this.bandSelectorMenuItem.Click += new System.EventHandler(this.bandButton_Click);
     //
     // handSelectorMenuItem
     //
     this.handSelectorMenuItem.Index = 1;
     this.handSelectorMenuItem.Text = "&Hand";
     this.handSelectorMenuItem.Click += new System.EventHandler(this.moveButton_Click);
     //
     // commandsPanel
     //
     this.commandsPanel.Controls.Add(this.diagramCommandsPanel);
     this.commandsPanel.Controls.Add(this.panel1);
     this.commandsPanel.Dock = System.Windows.Forms.DockStyle.Top;
     this.commandsPanel.Location = new System.Drawing.Point(0, 0);
     this.commandsPanel.Name = "commandsPanel";
     this.commandsPanel.Size = new System.Drawing.Size(1000, 88);
     this.commandsPanel.TabIndex = 7;
     //
     // diagramCommandsPanel
     //
     this.diagramCommandsPanel.Controls.Add(this.tabControl1);
     this.diagramCommandsPanel.Controls.Add(this.panel3);
     this.diagramCommandsPanel.Dock = System.Windows.Forms.DockStyle.Fill;
     this.diagramCommandsPanel.Location = new System.Drawing.Point(392, 0);
     this.diagramCommandsPanel.Name = "diagramCommandsPanel";
     this.diagramCommandsPanel.Size = new System.Drawing.Size(608, 88);
     this.diagramCommandsPanel.TabIndex = 14;
     this.diagramCommandsPanel.TabStop = false;
     this.diagramCommandsPanel.Text = " Model Elements ";
     //
     // tabControl1
     //
     this.tabControl1.Appearance = System.Windows.Forms.TabAppearance.FlatButtons;
     this.tabControl1.Controls.Add(this.tabPageStateTools);
     this.tabControl1.Controls.Add(this.tabPageComponentTools);
     this.tabControl1.Controls.Add(this.tabPageOriginalOperationTools);
     this.tabControl1.Dock = System.Windows.Forms.DockStyle.Fill;
     this.tabControl1.Location = new System.Drawing.Point(112, 16);
     this.tabControl1.Name = "tabControl1";
     this.tabControl1.SelectedIndex = 0;
     this.tabControl1.Size = new System.Drawing.Size(493, 69);
     this.tabControl1.TabIndex = 50;
     //
     // tabPageStateTools
     //
     this.tabPageStateTools.Controls.Add(this.toolBarStateTools);
     this.tabPageStateTools.Location = new System.Drawing.Point(4, 25);
     this.tabPageStateTools.Name = "tabPageStateTools";
     this.tabPageStateTools.Size = new System.Drawing.Size(485, 40);
     this.tabPageStateTools.TabIndex = 0;
     this.tabPageStateTools.Text = "State Tools";
     //
     // toolBarStateTools
     //
     this.toolBarStateTools.Appearance = System.Windows.Forms.ToolBarAppearance.Flat;
     this.toolBarStateTools.Buttons.AddRange(new System.Windows.Forms.ToolBarButton[] {
                                                                                          this.toolBarButtonStateTool,
                                                                                          this.toolBarButtonTransitionTool,
                                                                                          this.toolBarButtonPortTool});
     this.toolBarStateTools.ButtonSize = new System.Drawing.Size(24, 24);
     this.toolBarStateTools.Dock = System.Windows.Forms.DockStyle.Fill;
     this.toolBarStateTools.DropDownArrows = true;
     this.toolBarStateTools.ImageList = this.imageListTools;
     this.toolBarStateTools.Location = new System.Drawing.Point(0, 0);
     this.toolBarStateTools.Name = "toolBarStateTools";
     this.toolBarStateTools.ShowToolTips = true;
     this.toolBarStateTools.Size = new System.Drawing.Size(485, 44);
     this.toolBarStateTools.TabIndex = 0;
     this.toolBarStateTools.ButtonClick += new System.Windows.Forms.ToolBarButtonClickEventHandler(this.toolBarStateTools_ButtonClick);
     //
     // toolBarButtonStateTool
     //
     this.toolBarButtonStateTool.ImageIndex = 0;
     this.toolBarButtonStateTool.Style = System.Windows.Forms.ToolBarButtonStyle.ToggleButton;
     this.toolBarButtonStateTool.Tag = "CreateState";
     this.toolBarButtonStateTool.ToolTipText = "Draw States";
     //
     // toolBarButtonTransitionTool
     //
     this.toolBarButtonTransitionTool.ImageIndex = 1;
     this.toolBarButtonTransitionTool.Style = System.Windows.Forms.ToolBarButtonStyle.ToggleButton;
     this.toolBarButtonTransitionTool.Tag = "CreateTransition";
     this.toolBarButtonTransitionTool.ToolTipText = "Draw Transitions";
     //
     // toolBarButtonPortTool
     //
     this.toolBarButtonPortTool.ImageIndex = 2;
     this.toolBarButtonPortTool.Style = System.Windows.Forms.ToolBarButtonStyle.ToggleButton;
     this.toolBarButtonPortTool.Tag = "CreateStateTransitionPort";
     this.toolBarButtonPortTool.ToolTipText = "Draw Ports";
     //
     // imageListTools
     //
     this.imageListTools.ColorDepth = System.Windows.Forms.ColorDepth.Depth32Bit;
     this.imageListTools.ImageSize = new System.Drawing.Size(32, 32);
     this.imageListTools.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("imageListTools.ImageStream")));
     this.imageListTools.TransparentColor = System.Drawing.Color.Transparent;
     //
     // tabPageComponentTools
     //
     this.tabPageComponentTools.Controls.Add(this.toolBarComponentTools);
     this.tabPageComponentTools.Location = new System.Drawing.Point(4, 25);
     this.tabPageComponentTools.Name = "tabPageComponentTools";
     this.tabPageComponentTools.Size = new System.Drawing.Size(485, 40);
     this.tabPageComponentTools.TabIndex = 1;
     this.tabPageComponentTools.Text = "Component Tools";
     this.tabPageComponentTools.Visible = false;
     //
     // toolBarComponentTools
     //
     this.toolBarComponentTools.Appearance = System.Windows.Forms.ToolBarAppearance.Flat;
     this.toolBarComponentTools.Buttons.AddRange(new System.Windows.Forms.ToolBarButton[] {
                                                                                              this.toolBarButtonComponentTool,
                                                                                              this.toolBarButtonPortLinkTool});
     this.toolBarComponentTools.Dock = System.Windows.Forms.DockStyle.Fill;
     this.toolBarComponentTools.DropDownArrows = true;
     this.toolBarComponentTools.ImageList = this.imageListTools;
     this.toolBarComponentTools.Location = new System.Drawing.Point(0, 0);
     this.toolBarComponentTools.Name = "toolBarComponentTools";
     this.toolBarComponentTools.ShowToolTips = true;
     this.toolBarComponentTools.Size = new System.Drawing.Size(485, 42);
     this.toolBarComponentTools.TabIndex = 0;
     this.toolBarComponentTools.ButtonClick += new System.Windows.Forms.ToolBarButtonClickEventHandler(this.toolBarStateTools_ButtonClick);
     //
     // toolBarButtonComponentTool
     //
     this.toolBarButtonComponentTool.ImageIndex = 3;
     this.toolBarButtonComponentTool.Style = System.Windows.Forms.ToolBarButtonStyle.ToggleButton;
     this.toolBarButtonComponentTool.Tag = "CreateComponent";
     this.toolBarButtonComponentTool.ToolTipText = "Draw Components";
     //
     // toolBarButtonPortLinkTool
     //
     this.toolBarButtonPortLinkTool.ImageIndex = 4;
     this.toolBarButtonPortLinkTool.Style = System.Windows.Forms.ToolBarButtonStyle.ToggleButton;
     this.toolBarButtonPortLinkTool.Tag = "CreatePortLink";
     this.toolBarButtonPortLinkTool.ToolTipText = "Draw PortLinks";
     //
     // tabPageOriginalOperationTools
     //
     this.tabPageOriginalOperationTools.Controls.Add(this.panel2);
     this.tabPageOriginalOperationTools.Location = new System.Drawing.Point(4, 25);
     this.tabPageOriginalOperationTools.Name = "tabPageOriginalOperationTools";
     this.tabPageOriginalOperationTools.Size = new System.Drawing.Size(485, 40);
     this.tabPageOriginalOperationTools.TabIndex = 2;
     this.tabPageOriginalOperationTools.Text = "Operations Tools";
     this.tabPageOriginalOperationTools.Visible = false;
     //
     // panel2
     //
     this.panel2.Controls.Add(this.operationLinkButton);
     this.panel2.Controls.Add(this.operationButton);
     this.panel2.Dock = System.Windows.Forms.DockStyle.Fill;
     this.panel2.Location = new System.Drawing.Point(0, 0);
     this.panel2.Name = "panel2";
     this.panel2.Size = new System.Drawing.Size(485, 40);
     this.panel2.TabIndex = 0;
     //
     // operationLinkButton
     //
     this.operationLinkButton.Location = new System.Drawing.Point(112, 4);
     this.operationLinkButton.Name = "operationLinkButton";
     this.operationLinkButton.TabIndex = 51;
     this.operationLinkButton.Tag = "CreateOperationPortLink";
     this.operationLinkButton.Text = "Op Link";
     this.operationLinkButton.Click += new System.EventHandler(this.modelElementButton_Click);
     //
     // operationButton
     //
     this.operationButton.Location = new System.Drawing.Point(4, 4);
     this.operationButton.Name = "operationButton";
     this.operationButton.TabIndex = 50;
     this.operationButton.Tag = "CreateOperation";
     this.operationButton.Text = "Operation";
     this.operationButton.Click += new System.EventHandler(this.modelElementButton_Click);
     //
     // panel3
     //
     this.panel3.Controls.Add(this.resetToHandCheckBox);
     this.panel3.Controls.Add(this.deleteButton);
     this.panel3.Dock = System.Windows.Forms.DockStyle.Left;
     this.panel3.Location = new System.Drawing.Point(3, 16);
     this.panel3.Name = "panel3";
     this.panel3.Size = new System.Drawing.Size(109, 69);
     this.panel3.TabIndex = 49;
     //
     // resetToHandCheckBox
     //
     this.resetToHandCheckBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 7F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((System.Byte)(0)));
     this.resetToHandCheckBox.Location = new System.Drawing.Point(6, 32);
     this.resetToHandCheckBox.Name = "resetToHandCheckBox";
     this.resetToHandCheckBox.TabIndex = 47;
     this.resetToHandCheckBox.Text = "Place One Element Only";
     //
     // deleteButton
     //
     this.deleteButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.deleteButton.ImageIndex = 6;
     this.deleteButton.ImageList = this.imageList1;
     this.deleteButton.Location = new System.Drawing.Point(6, 8);
     this.deleteButton.Name = "deleteButton";
     this.deleteButton.TabIndex = 46;
     this.deleteButton.Text = "&Delete";
     //
     // panel1
     //
     this.panel1.ContextMenu = this.contextMenu1;
     this.panel1.Controls.Add(this.toXmlButton);
     this.panel1.Controls.Add(this.saveButton);
     this.panel1.Controls.Add(this.loadButton);
     this.panel1.Controls.Add(this.newButton);
     this.panel1.Controls.Add(this.convertToCodebutton);
     this.panel1.Controls.Add(this.execButton);
     this.panel1.Controls.Add(this.bandButton);
     this.panel1.Controls.Add(this.moveButton);
     this.panel1.Dock = System.Windows.Forms.DockStyle.Left;
     this.panel1.Location = new System.Drawing.Point(0, 0);
     this.panel1.Name = "panel1";
     this.panel1.Size = new System.Drawing.Size(392, 88);
     this.panel1.TabIndex = 13;
     this.panel1.TabStop = false;
     this.panel1.Text = " Actions ";
     //
     // toXmlButton
     //
     this.toXmlButton.Location = new System.Drawing.Point(104, 56);
     this.toXmlButton.Name = "toXmlButton";
     this.toXmlButton.Size = new System.Drawing.Size(80, 24);
     this.toXmlButton.TabIndex = 47;
     this.toXmlButton.Text = "To &Xml";
     //
     // convertToCodebutton
     //
     this.convertToCodebutton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.convertToCodebutton.ImageIndex = 3;
     this.convertToCodebutton.ImageList = this.imageList1;
     this.convertToCodebutton.Location = new System.Drawing.Point(192, 24);
     this.convertToCodebutton.Name = "convertToCodebutton";
     this.convertToCodebutton.Size = new System.Drawing.Size(88, 23);
     this.convertToCodebutton.TabIndex = 6;
     this.convertToCodebutton.Text = "To C&ode";
     //
     // execButton
     //
     this.execButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.execButton.ImageIndex = 4;
     this.execButton.ImageList = this.imageList1;
     this.execButton.Location = new System.Drawing.Point(192, 56);
     this.execButton.Name = "execButton";
     this.execButton.Size = new System.Drawing.Size(88, 23);
     this.execButton.TabIndex = 9;
     this.execButton.Text = "&Exec";
     this.execButton.Click += new System.EventHandler(this.execButton_Click);
     //
     // bandButton
     //
     this.bandButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.bandButton.ImageList = this.imageList1;
     this.bandButton.Location = new System.Drawing.Point(296, 24);
     this.bandButton.Name = "bandButton";
     this.bandButton.Size = new System.Drawing.Size(80, 23);
     this.bandButton.TabIndex = 45;
     this.bandButton.Text = "&Band";
     this.bandButton.Click += new System.EventHandler(this.bandButton_Click);
     //
     // moveButton
     //
     this.moveButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft;
     this.moveButton.ImageIndex = 7;
     this.moveButton.ImageList = this.imageList1;
     this.moveButton.Location = new System.Drawing.Point(296, 56);
     this.moveButton.Name = "moveButton";
     this.moveButton.Size = new System.Drawing.Size(80, 23);
     this.moveButton.TabIndex = 46;
     this.moveButton.Text = "&Arrow";
     this.moveButton.Click += new System.EventHandler(this.moveButton_Click);
     //
     // saveFileDialog2
     //
     this.saveFileDialog2.DefaultExt = "cs";
     this.saveFileDialog2.Filter = "CSharp File|*.cs";
     //
     // pictureHolderPanel
     //
     this.pictureHolderPanel.Controls.Add(this.hScrollBar1);
     this.pictureHolderPanel.Controls.Add(this.vScrollBar1);
     this.pictureHolderPanel.Controls.Add(this.drawingPanel);
     this.pictureHolderPanel.Dock = System.Windows.Forms.DockStyle.Fill;
     this.pictureHolderPanel.Location = new System.Drawing.Point(0, 88);
     this.pictureHolderPanel.Name = "pictureHolderPanel";
     this.pictureHolderPanel.Size = new System.Drawing.Size(1000, 374);
     this.pictureHolderPanel.TabIndex = 8;
     //
     // hScrollBar1
     //
     this.hScrollBar1.Dock = System.Windows.Forms.DockStyle.Bottom;
     this.hScrollBar1.Location = new System.Drawing.Point(0, 357);
     this.hScrollBar1.Name = "hScrollBar1";
     this.hScrollBar1.Size = new System.Drawing.Size(984, 17);
     this.hScrollBar1.TabIndex = 8;
     this.hScrollBar1.ValueChanged += new System.EventHandler(this.hScrollBar1_ValueChanged);
     //
     // vScrollBar1
     //
     this.vScrollBar1.Dock = System.Windows.Forms.DockStyle.Right;
     this.vScrollBar1.Location = new System.Drawing.Point(984, 0);
     this.vScrollBar1.Name = "vScrollBar1";
     this.vScrollBar1.Size = new System.Drawing.Size(16, 374);
     this.vScrollBar1.TabIndex = 7;
     this.vScrollBar1.ValueChanged += new System.EventHandler(this.hScrollBar1_ValueChanged);
     //
     // checkVarsTimer
     //
     this.checkVarsTimer.Enabled = true;
     this.checkVarsTimer.Interval = 1000;
     this.checkVarsTimer.Tick += new System.EventHandler(this.checkVarsTimer_Tick);
     //
     // saveFileDialog3
     //
     this.saveFileDialog3.DefaultExt = "xml";
     this.saveFileDialog3.Filter = "Xml|*.xml";
     //
     // TestStateGlyphControl
     //
     this.Controls.Add(this.pictureHolderPanel);
     this.Controls.Add(this.commandsPanel);
     this.Name = "TestStateGlyphControl";
     this.Size = new System.Drawing.Size(1000, 462);
     this.KeyUp += new System.Windows.Forms.KeyEventHandler(this.TestStateGlyphControl_KeyUp);
     this.commandsPanel.ResumeLayout(false);
     this.diagramCommandsPanel.ResumeLayout(false);
     this.tabControl1.ResumeLayout(false);
     this.tabPageStateTools.ResumeLayout(false);
     this.tabPageComponentTools.ResumeLayout(false);
     this.tabPageOriginalOperationTools.ResumeLayout(false);
     this.panel2.ResumeLayout(false);
     this.panel3.ResumeLayout(false);
     this.panel1.ResumeLayout(false);
     this.pictureHolderPanel.ResumeLayout(false);
     this.ResumeLayout(false);
 }