Example #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.components = new System.ComponentModel.Container();
     System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TestAppForm));
     this.logPanel                     = new System.Windows.Forms.Panel();
     this.LogViewer                    = new System.Windows.Forms.RichTextBox();
     this.panel1                       = new System.Windows.Forms.Panel();
     this.clearLogButton               = new System.Windows.Forms.Button();
     this.mainMenu1                    = new System.Windows.Forms.MainMenu(this.components);
     this.menuItem1                    = new System.Windows.Forms.MenuItem();
     this.exitApplicationMenuItem      = new System.Windows.Forms.MenuItem();
     this.menuItem5                    = new System.Windows.Forms.MenuItem();
     this.newStateChartDiagramMenuItem = new System.Windows.Forms.MenuItem();
     this.toolsMenuItem                = new System.Windows.Forms.MenuItem();
     this.publishUpdateMenuItem        = new System.Windows.Forms.MenuItem();
     this.updateApplicationMenuItem    = new System.Windows.Forms.MenuItem();
     this.menuItem3                    = new System.Windows.Forms.MenuItem();
     this.windowCascadeMenuItem        = new System.Windows.Forms.MenuItem();
     this.windowTileVerticalMenuItem   = new System.Windows.Forms.MenuItem();
     this.windowTileHorizontalMenuItem = new System.Windows.Forms.MenuItem();
     this.stateDiagramView             = new MurphyPA.H2D.TestApp.StateDiagramView();
     this.logPanel.SuspendLayout();
     this.panel1.SuspendLayout();
     this.SuspendLayout();
     //
     // logPanel
     //
     this.logPanel.Controls.Add(this.LogViewer);
     this.logPanel.Controls.Add(this.panel1);
     this.logPanel.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.logPanel.Location = new System.Drawing.Point(784, 0);
     this.logPanel.Name     = "logPanel";
     this.logPanel.Size     = new System.Drawing.Size(216, 537);
     this.logPanel.TabIndex = 5;
     //
     // LogViewer
     //
     this.LogViewer.Dock     = System.Windows.Forms.DockStyle.Fill;
     this.LogViewer.Location = new System.Drawing.Point(0, 56);
     this.LogViewer.Name     = "LogViewer";
     this.LogViewer.Size     = new System.Drawing.Size(216, 481);
     this.LogViewer.TabIndex = 2;
     this.LogViewer.Text     = "";
     //
     // panel1
     //
     this.panel1.Controls.Add(this.clearLogButton);
     this.panel1.Dock     = System.Windows.Forms.DockStyle.Top;
     this.panel1.Location = new System.Drawing.Point(0, 0);
     this.panel1.Name     = "panel1";
     this.panel1.Size     = new System.Drawing.Size(216, 56);
     this.panel1.TabIndex = 1;
     //
     // clearLogButton
     //
     this.clearLogButton.Location = new System.Drawing.Point(16, 16);
     this.clearLogButton.Name     = "clearLogButton";
     this.clearLogButton.Size     = new System.Drawing.Size(75, 23);
     this.clearLogButton.TabIndex = 0;
     this.clearLogButton.Text     = "&Clear";
     this.clearLogButton.Click   += new System.EventHandler(this.clearLogButton_Click);
     //
     // mainMenu1
     //
     this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.menuItem1,
         this.menuItem5,
         this.toolsMenuItem,
         this.menuItem3
     });
     //
     // menuItem1
     //
     this.menuItem1.Index = 0;
     this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.exitApplicationMenuItem
     });
     this.menuItem1.Text = "&File";
     //
     // exitApplicationMenuItem
     //
     this.exitApplicationMenuItem.Index  = 0;
     this.exitApplicationMenuItem.Text   = "E&xit";
     this.exitApplicationMenuItem.Click += new System.EventHandler(this.exitApplicationMenuItem_Click);
     //
     // menuItem5
     //
     this.menuItem5.Index = 1;
     this.menuItem5.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.newStateChartDiagramMenuItem
     });
     this.menuItem5.Text = "Dia&gram";
     //
     // newStateChartDiagramMenuItem
     //
     this.newStateChartDiagramMenuItem.Index    = 0;
     this.newStateChartDiagramMenuItem.Shortcut = System.Windows.Forms.Shortcut.CtrlShiftJ;
     this.newStateChartDiagramMenuItem.Text     = "&New StateChart Diagram";
     this.newStateChartDiagramMenuItem.Click   += new System.EventHandler(this.newStateChartDiagramMenuItem_Click);
     //
     // toolsMenuItem
     //
     this.toolsMenuItem.Index = 2;
     this.toolsMenuItem.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.publishUpdateMenuItem,
         this.updateApplicationMenuItem
     });
     this.toolsMenuItem.Text = "&Tools";
     //
     // publishUpdateMenuItem
     //
     this.publishUpdateMenuItem.Index  = 0;
     this.publishUpdateMenuItem.Text   = "&Publish Update";
     this.publishUpdateMenuItem.Click += new System.EventHandler(this.publishUpdateMenuItem_Click);
     //
     // updateApplicationMenuItem
     //
     this.updateApplicationMenuItem.Index  = 1;
     this.updateApplicationMenuItem.Text   = "&Update this Application";
     this.updateApplicationMenuItem.Click += new System.EventHandler(this.updateApplicationMenuItem_Click);
     //
     // menuItem3
     //
     this.menuItem3.Index   = 3;
     this.menuItem3.MdiList = true;
     this.menuItem3.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
         this.windowCascadeMenuItem,
         this.windowTileVerticalMenuItem,
         this.windowTileHorizontalMenuItem
     });
     this.menuItem3.Text = "&Window";
     //
     // windowCascadeMenuItem
     //
     this.windowCascadeMenuItem.Index  = 0;
     this.windowCascadeMenuItem.Text   = "C&ascade";
     this.windowCascadeMenuItem.Click += new System.EventHandler(this.windowCascadeMenuItem_Click);
     //
     // windowTileVerticalMenuItem
     //
     this.windowTileVerticalMenuItem.Index  = 1;
     this.windowTileVerticalMenuItem.Text   = "Tile &Vertical";
     this.windowTileVerticalMenuItem.Click += new System.EventHandler(this.windowTileVerticalMenuItem_Click);
     //
     // windowTileHorizontalMenuItem
     //
     this.windowTileHorizontalMenuItem.Index  = 2;
     this.windowTileHorizontalMenuItem.Text   = "Tile &Horizontal";
     this.windowTileHorizontalMenuItem.Click += new System.EventHandler(this.windowTileHorizontalMenuItem_Click);
     //
     // stateDiagramView
     //
     this.stateDiagramView.Dock     = System.Windows.Forms.DockStyle.Left;
     this.stateDiagramView.Location = new System.Drawing.Point(0, 0);
     this.stateDiagramView.Name     = "stateDiagramView";
     this.stateDiagramView.Size     = new System.Drawing.Size(784, 537);
     this.stateDiagramView.TabIndex = 6;
     //
     // TestAppForm
     //
     this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
     this.ClientSize        = new System.Drawing.Size(1000, 537);
     this.Controls.Add(this.logPanel);
     this.Controls.Add(this.stateDiagramView);
     this.Icon           = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
     this.IsMdiContainer = true;
     this.Menu           = this.mainMenu1;
     this.Name           = "TestAppForm";
     this.Text           = "StateChartProto";
     this.WindowState    = System.Windows.Forms.FormWindowState.Maximized;
     this.Load          += new System.EventHandler(this.TestAppForm_Load);
     this.Closing       += new System.ComponentModel.CancelEventHandler(this.TestAppForm_Closing);
     this.logPanel.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()
 {
     System.Resources.ResourceManager resources = new System.Resources.ResourceManager(typeof(TestAppForm));
     this.logPanel = new System.Windows.Forms.Panel();
     this.LogViewer = new System.Windows.Forms.RichTextBox();
     this.panel1 = new System.Windows.Forms.Panel();
     this.clearLogButton = new System.Windows.Forms.Button();
     this.stateDiagramView = new MurphyPA.H2D.TestApp.StateDiagramView();
     this.mainMenu1 = new System.Windows.Forms.MainMenu();
     this.menuItem1 = new System.Windows.Forms.MenuItem();
     this.exitApplicationMenuItem = new System.Windows.Forms.MenuItem();
     this.menuItem5 = new System.Windows.Forms.MenuItem();
     this.newStateChartDiagramMenuItem = new System.Windows.Forms.MenuItem();
     this.toolsMenuItem = new System.Windows.Forms.MenuItem();
     this.publishUpdateMenuItem = new System.Windows.Forms.MenuItem();
     this.updateApplicationMenuItem = new System.Windows.Forms.MenuItem();
     this.menuItem3 = new System.Windows.Forms.MenuItem();
     this.windowCascadeMenuItem = new System.Windows.Forms.MenuItem();
     this.windowTileVerticalMenuItem = new System.Windows.Forms.MenuItem();
     this.windowTileHorizontalMenuItem = new System.Windows.Forms.MenuItem();
     this.logPanel.SuspendLayout();
     this.panel1.SuspendLayout();
     this.SuspendLayout();
     //
     // logPanel
     //
     this.logPanel.Controls.Add(this.LogViewer);
     this.logPanel.Controls.Add(this.panel1);
     this.logPanel.Dock = System.Windows.Forms.DockStyle.Fill;
     this.logPanel.Location = new System.Drawing.Point(784, 0);
     this.logPanel.Name = "logPanel";
     this.logPanel.Size = new System.Drawing.Size(216, 558);
     this.logPanel.TabIndex = 5;
     //
     // LogViewer
     //
     this.LogViewer.Dock = System.Windows.Forms.DockStyle.Fill;
     this.LogViewer.Location = new System.Drawing.Point(0, 56);
     this.LogViewer.Name = "LogViewer";
     this.LogViewer.Size = new System.Drawing.Size(216, 502);
     this.LogViewer.TabIndex = 2;
     this.LogViewer.Text = "";
     //
     // panel1
     //
     this.panel1.Controls.Add(this.clearLogButton);
     this.panel1.Dock = System.Windows.Forms.DockStyle.Top;
     this.panel1.Location = new System.Drawing.Point(0, 0);
     this.panel1.Name = "panel1";
     this.panel1.Size = new System.Drawing.Size(216, 56);
     this.panel1.TabIndex = 1;
     //
     // clearLogButton
     //
     this.clearLogButton.Location = new System.Drawing.Point(16, 16);
     this.clearLogButton.Name = "clearLogButton";
     this.clearLogButton.TabIndex = 0;
     this.clearLogButton.Text = "&Clear";
     this.clearLogButton.Click += new System.EventHandler(this.clearLogButton_Click);
     //
     // stateDiagramView
     //
     this.stateDiagramView.Dock = System.Windows.Forms.DockStyle.Left;
     this.stateDiagramView.Location = new System.Drawing.Point(0, 0);
     this.stateDiagramView.Name = "stateDiagramView";
     this.stateDiagramView.Size = new System.Drawing.Size(784, 558);
     this.stateDiagramView.TabIndex = 6;
     //
     // mainMenu1
     //
     this.mainMenu1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.menuItem1,
                                                                               this.menuItem5,
                                                                               this.toolsMenuItem,
                                                                               this.menuItem3});
     //
     // menuItem1
     //
     this.menuItem1.Index = 0;
     this.menuItem1.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.exitApplicationMenuItem});
     this.menuItem1.Text = "&File";
     //
     // exitApplicationMenuItem
     //
     this.exitApplicationMenuItem.Index = 0;
     this.exitApplicationMenuItem.Text = "E&xit";
     this.exitApplicationMenuItem.Click += new System.EventHandler(this.exitApplicationMenuItem_Click);
     //
     // menuItem5
     //
     this.menuItem5.Index = 1;
     this.menuItem5.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.newStateChartDiagramMenuItem});
     this.menuItem5.Text = "Dia&gram";
     //
     // newStateChartDiagramMenuItem
     //
     this.newStateChartDiagramMenuItem.Index = 0;
     this.newStateChartDiagramMenuItem.Shortcut = System.Windows.Forms.Shortcut.CtrlShiftJ;
     this.newStateChartDiagramMenuItem.Text = "&New StateChart Diagram";
     this.newStateChartDiagramMenuItem.Click += new System.EventHandler(this.newStateChartDiagramMenuItem_Click);
     //
     // toolsMenuItem
     //
     this.toolsMenuItem.Index = 2;
     this.toolsMenuItem.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                                   this.publishUpdateMenuItem,
                                                                                   this.updateApplicationMenuItem});
     this.toolsMenuItem.Text = "&Tools";
     //
     // publishUpdateMenuItem
     //
     this.publishUpdateMenuItem.Index = 0;
     this.publishUpdateMenuItem.Text = "&Publish Update";
     this.publishUpdateMenuItem.Click += new System.EventHandler(this.publishUpdateMenuItem_Click);
     //
     // updateApplicationMenuItem
     //
     this.updateApplicationMenuItem.Index = 1;
     this.updateApplicationMenuItem.Text = "&Update this Application";
     this.updateApplicationMenuItem.Click += new System.EventHandler(this.updateApplicationMenuItem_Click);
     //
     // menuItem3
     //
     this.menuItem3.Index = 3;
     this.menuItem3.MdiList = true;
     this.menuItem3.MenuItems.AddRange(new System.Windows.Forms.MenuItem[] {
                                                                               this.windowCascadeMenuItem,
                                                                               this.windowTileVerticalMenuItem,
                                                                               this.windowTileHorizontalMenuItem});
     this.menuItem3.Text = "&Window";
     //
     // windowCascadeMenuItem
     //
     this.windowCascadeMenuItem.Index = 0;
     this.windowCascadeMenuItem.Text = "C&ascade";
     this.windowCascadeMenuItem.Click += new System.EventHandler(this.windowCascadeMenuItem_Click);
     //
     // windowTileVerticalMenuItem
     //
     this.windowTileVerticalMenuItem.Index = 1;
     this.windowTileVerticalMenuItem.Text = "Tile &Vertical";
     this.windowTileVerticalMenuItem.Click += new System.EventHandler(this.windowTileVerticalMenuItem_Click);
     //
     // windowTileHorizontalMenuItem
     //
     this.windowTileHorizontalMenuItem.Index = 2;
     this.windowTileHorizontalMenuItem.Text = "Tile &Horizontal";
     this.windowTileHorizontalMenuItem.Click += new System.EventHandler(this.windowTileHorizontalMenuItem_Click);
     //
     // TestAppForm
     //
     this.AutoScaleBaseSize = new System.Drawing.Size(5, 13);
     this.ClientSize = new System.Drawing.Size(1000, 558);
     this.Controls.Add(this.logPanel);
     this.Controls.Add(this.stateDiagramView);
     this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
     this.IsMdiContainer = true;
     this.Menu = this.mainMenu1;
     this.Name = "TestAppForm";
     this.Text = "StateChartProto";
     this.WindowState = System.Windows.Forms.FormWindowState.Maximized;
     this.Closing += new System.ComponentModel.CancelEventHandler(this.TestAppForm_Closing);
     this.Load += new System.EventHandler(this.TestAppForm_Load);
     this.logPanel.ResumeLayout(false);
     this.panel1.ResumeLayout(false);
     this.ResumeLayout(false);
 }