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