private void InitializeComponent()
{
this.components = new System.ComponentModel.Container();
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(MainWindow));
WeifenLuo.WinFormsUI.Docking.DockPanelSkin dockPanelSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPanelSkin();
WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin autoHideStripSkin1 = new WeifenLuo.WinFormsUI.Docking.AutoHideStripSkin();
WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient1 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin dockPaneStripSkin1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripSkin();
WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient dockPaneStripGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient2 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient2 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient3 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient dockPaneStripToolWindowGradient1 = new WeifenLuo.WinFormsUI.Docking.DockPaneStripToolWindowGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient4 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient5 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.DockPanelGradient dockPanelGradient3 = new WeifenLuo.WinFormsUI.Docking.DockPanelGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient6 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
WeifenLuo.WinFormsUI.Docking.TabGradient tabGradient7 = new WeifenLuo.WinFormsUI.Docking.TabGradient();
this.menuStrip = new System.Windows.Forms.MenuStrip();
this.fileMenu = new System.Windows.Forms.ToolStripMenuItem();
this.newToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.dataDictionaryToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.updateToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.openToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.closeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator3 = new System.Windows.Forms.ToolStripSeparator();
this.saveToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.saveAsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator4 = new System.Windows.Forms.ToolStripSeparator();
this.printToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.printPreviewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.printSetupToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator5 = new System.Windows.Forms.ToolStripSeparator();
this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.editMenu = new System.Windows.Forms.ToolStripMenuItem();
this.undoToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.redoToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator6 = new System.Windows.Forms.ToolStripSeparator();
this.cutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.copyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.pasteToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator7 = new System.Windows.Forms.ToolStripSeparator();
this.selectAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.viewMenu = new System.Windows.Forms.ToolStripMenuItem();
this.showSpecificationViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showFunctionalBlocksToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showModelViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showTestsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showTranslationViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showViewsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showExpressionEditorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showCommentEditorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator23 = new System.Windows.Forms.ToolStripSeparator();
this.showNavigationViewToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.showProperyViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showMoreInfoViewToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.showMessagesVoewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showRequirementViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showUsageViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator11 = new System.Windows.Forms.ToolStripSeparator();
this.showSelectionHistoryViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showShortcutsViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showHistoryViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator14 = new System.Windows.Forms.ToolStripSeparator();
this.showWatchViewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator22 = new System.Windows.Forms.ToolStripSeparator();
this.dockedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator12 = new System.Windows.Forms.ToolStripSeparator();
this.toolBarToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.statusBarToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolsMenu = new System.Windows.Forms.ToolStripMenuItem();
this.clearMarksToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.checkToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.checkModelToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.checkToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.specificationsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markApplicableParagraphsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markNonApplicableParagraphsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.notImplementedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.reviewedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markNotImplementedButImplementationExistsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markImplementedButNoFunctionalTestToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markNotTestedButFunctionalTestToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markSpecIssuesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markParagraphsFromNewRevisionToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator15 = new System.Windows.Forms.ToolStripSeparator();
this.generateCoverageReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.generateSpecIssuesReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.findToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.implementationRequiredToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.verificationRequiredToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markVariableModeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.iNToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.oUTToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.iNOUTToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markRulePriorityToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.verificationToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.updateINTERNALToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.processingToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.updateOUTToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.cleanUpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator18 = new System.Windows.Forms.ToolStripSeparator();
this.generateDataDictionaryReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.generateFunctionalAnalysisReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator21 = new System.Windows.Forms.ToolStripSeparator();
this.resetCountersToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showRulePerformancesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.showFunctionsPerformancesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator17 = new System.Windows.Forms.ToolStripSeparator();
this.refactorToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.testsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator13 = new System.Windows.Forms.ToolStripSeparator();
this.markImplementationRequiredToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markNotTranslatedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.markNotImplementedTranslationsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator10 = new System.Windows.Forms.ToolStripSeparator();
this.importDatabaseToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.importFolderToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator16 = new System.Windows.Forms.ToolStripSeparator();
this.generateDynamicCoverageReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.generateFindingsReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.historyToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.compareWithToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.compareWithGitRevisionToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.blameUntilToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.mergeUpdateToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.generateERTMSAcademyReportToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator9 = new System.Windows.Forms.ToolStripSeparator();
this.searchToolStripMenuItem1 = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator19 = new System.Windows.Forms.ToolStripSeparator();
this.refreshWindowsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator20 = new System.Windows.Forms.ToolStripSeparator();
this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.windowsMenu = new System.Windows.Forms.ToolStripMenuItem();
this.cascadeToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.tileVerticalToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.tileHorizontalToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.closeAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.arrangeIconsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.helpMenu = new System.Windows.Forms.ToolStripMenuItem();
this.contentsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.indexToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.searchToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStripSeparator8 = new System.Windows.Forms.ToolStripSeparator();
this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.toolStrip = new System.Windows.Forms.ToolStrip();
this.openToolStripButton = new System.Windows.Forms.ToolStripButton();
this.saveToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
this.printToolStripButton = new System.Windows.Forms.ToolStripButton();
this.printPreviewToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStripSeparator2 = new System.Windows.Forms.ToolStripSeparator();
this.helpToolStripButton = new System.Windows.Forms.ToolStripButton();
this.toolStripSeparator24 = new System.Windows.Forms.ToolStripSeparator();
this.statusStrip = new System.Windows.Forms.StatusStrip();
this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
this.toolTip = new System.Windows.Forms.ToolTip(this.components);
this.dockPanel = new WeifenLuo.WinFormsUI.Docking.DockPanel();
this.findInSubset076ToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.menuStrip.SuspendLayout();
this.toolStrip.SuspendLayout();
this.statusStrip.SuspendLayout();
this.SuspendLayout();
//
// menuStrip
//
this.menuStrip.ImageScalingSize = new System.Drawing.Size(20, 20);
this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.fileMenu,
this.editMenu,
this.viewMenu,
this.toolsMenu,
this.windowsMenu,
this.helpMenu});
this.menuStrip.Location = new System.Drawing.Point(0, 0);
this.menuStrip.MdiWindowListItem = this.windowsMenu;
this.menuStrip.Name = "menuStrip";
this.menuStrip.Padding = new System.Windows.Forms.Padding(8, 2, 0, 2);
this.menuStrip.Size = new System.Drawing.Size(1152, 28);
this.menuStrip.TabIndex = 0;
this.menuStrip.Text = "MenuStrip";
//
// fileMenu
//
this.fileMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.newToolStripMenuItem,
this.openToolStripMenuItem,
this.closeToolStripMenuItem,
this.toolStripSeparator3,
this.saveToolStripMenuItem,
this.saveAsToolStripMenuItem,
this.toolStripSeparator4,
this.printToolStripMenuItem,
this.printPreviewToolStripMenuItem,
this.printSetupToolStripMenuItem,
this.toolStripSeparator5,
this.exitToolStripMenuItem});
this.fileMenu.ImageTransparentColor = System.Drawing.SystemColors.ActiveBorder;
this.fileMenu.Name = "fileMenu";
this.fileMenu.Size = new System.Drawing.Size(44, 24);
this.fileMenu.Text = "&File";
//
// newToolStripMenuItem
//
this.newToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.dataDictionaryToolStripMenuItem,
this.updateToolStripMenuItem});
this.newToolStripMenuItem.Name = "newToolStripMenuItem";
this.newToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.newToolStripMenuItem.Text = "New";
//
// dataDictionaryToolStripMenuItem
//
this.dataDictionaryToolStripMenuItem.Name = "dataDictionaryToolStripMenuItem";
this.dataDictionaryToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.N)));
this.dataDictionaryToolStripMenuItem.Size = new System.Drawing.Size(237, 26);
this.dataDictionaryToolStripMenuItem.Text = "DataDictionary";
this.dataDictionaryToolStripMenuItem.Click += new System.EventHandler(this.newToolStripMenuItem_Click);
//
// updateToolStripMenuItem
//
this.updateToolStripMenuItem.Name = "updateToolStripMenuItem";
this.updateToolStripMenuItem.Size = new System.Drawing.Size(237, 26);
this.updateToolStripMenuItem.Text = "Update";
this.updateToolStripMenuItem.Click += new System.EventHandler(this.updateToolStripMenuItem_Click);
//
// openToolStripMenuItem
//
this.openToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("openToolStripMenuItem.Image")));
this.openToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.openToolStripMenuItem.Name = "openToolStripMenuItem";
this.openToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.O)));
this.openToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.openToolStripMenuItem.Text = "&Open";
this.openToolStripMenuItem.Click += new System.EventHandler(this.OpenFile);
//
// closeToolStripMenuItem
//
this.closeToolStripMenuItem.Name = "closeToolStripMenuItem";
this.closeToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.closeToolStripMenuItem.Text = "Close";
this.closeToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
//
// toolStripSeparator3
//
this.toolStripSeparator3.Name = "toolStripSeparator3";
this.toolStripSeparator3.Size = new System.Drawing.Size(170, 6);
//
// saveToolStripMenuItem
//
this.saveToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("saveToolStripMenuItem.Image")));
this.saveToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.saveToolStripMenuItem.Name = "saveToolStripMenuItem";
this.saveToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.S)));
this.saveToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.saveToolStripMenuItem.Text = "&Save";
this.saveToolStripMenuItem.Click += new System.EventHandler(this.saveToolStripMenuItem_Click);
//
// saveAsToolStripMenuItem
//
this.saveAsToolStripMenuItem.Name = "saveAsToolStripMenuItem";
this.saveAsToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.saveAsToolStripMenuItem.Text = "Save &As";
this.saveAsToolStripMenuItem.Click += new System.EventHandler(this.SaveAsToolStripMenuItem_Click);
//
// toolStripSeparator4
//
this.toolStripSeparator4.Name = "toolStripSeparator4";
this.toolStripSeparator4.Size = new System.Drawing.Size(170, 6);
//
// printToolStripMenuItem
//
this.printToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("printToolStripMenuItem.Image")));
this.printToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.printToolStripMenuItem.Name = "printToolStripMenuItem";
this.printToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.P)));
this.printToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.printToolStripMenuItem.Text = "&Print";
//
// printPreviewToolStripMenuItem
//
this.printPreviewToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("printPreviewToolStripMenuItem.Image")));
this.printPreviewToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.printPreviewToolStripMenuItem.Name = "printPreviewToolStripMenuItem";
this.printPreviewToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.printPreviewToolStripMenuItem.Text = "Print Pre&view";
//
// printSetupToolStripMenuItem
//
this.printSetupToolStripMenuItem.Name = "printSetupToolStripMenuItem";
this.printSetupToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.printSetupToolStripMenuItem.Text = "Print Setup";
//
// toolStripSeparator5
//
this.toolStripSeparator5.Name = "toolStripSeparator5";
this.toolStripSeparator5.Size = new System.Drawing.Size(170, 6);
//
// exitToolStripMenuItem
//
this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
this.exitToolStripMenuItem.Size = new System.Drawing.Size(173, 26);
this.exitToolStripMenuItem.Text = "E&xit";
this.exitToolStripMenuItem.Click += new System.EventHandler(this.ExitToolsStripMenuItem_Click);
//
// editMenu
//
this.editMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.undoToolStripMenuItem,
this.redoToolStripMenuItem,
this.toolStripSeparator6,
this.cutToolStripMenuItem,
this.copyToolStripMenuItem,
this.pasteToolStripMenuItem,
this.toolStripSeparator7,
this.selectAllToolStripMenuItem});
this.editMenu.Name = "editMenu";
this.editMenu.Size = new System.Drawing.Size(47, 24);
this.editMenu.Text = "&Edit";
//
// undoToolStripMenuItem
//
this.undoToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("undoToolStripMenuItem.Image")));
this.undoToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.undoToolStripMenuItem.Name = "undoToolStripMenuItem";
this.undoToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Z)));
this.undoToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.undoToolStripMenuItem.Text = "&Undo";
this.undoToolStripMenuItem.Click += new System.EventHandler(this.undoToolStripMenuItem_Click);
//
// redoToolStripMenuItem
//
this.redoToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("redoToolStripMenuItem.Image")));
this.redoToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.redoToolStripMenuItem.Name = "redoToolStripMenuItem";
this.redoToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.Y)));
this.redoToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.redoToolStripMenuItem.Text = "&Redo";
this.redoToolStripMenuItem.Click += new System.EventHandler(this.redoToolStripMenuItem_Click);
//
// toolStripSeparator6
//
this.toolStripSeparator6.Name = "toolStripSeparator6";
this.toolStripSeparator6.Size = new System.Drawing.Size(195, 6);
//
// cutToolStripMenuItem
//
this.cutToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("cutToolStripMenuItem.Image")));
this.cutToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.cutToolStripMenuItem.Name = "cutToolStripMenuItem";
this.cutToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.X)));
this.cutToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.cutToolStripMenuItem.Text = "Cu&t";
this.cutToolStripMenuItem.Click += new System.EventHandler(this.CutToolStripMenuItem_Click);
//
// copyToolStripMenuItem
//
this.copyToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("copyToolStripMenuItem.Image")));
this.copyToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.copyToolStripMenuItem.Name = "copyToolStripMenuItem";
this.copyToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.C)));
this.copyToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.copyToolStripMenuItem.Text = "&Copy";
this.copyToolStripMenuItem.Click += new System.EventHandler(this.CopyToolStripMenuItem_Click);
//
// pasteToolStripMenuItem
//
this.pasteToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("pasteToolStripMenuItem.Image")));
this.pasteToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.pasteToolStripMenuItem.Name = "pasteToolStripMenuItem";
this.pasteToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.V)));
this.pasteToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.pasteToolStripMenuItem.Text = "&Paste";
this.pasteToolStripMenuItem.Click += new System.EventHandler(this.PasteToolStripMenuItem_Click);
//
// toolStripSeparator7
//
this.toolStripSeparator7.Name = "toolStripSeparator7";
this.toolStripSeparator7.Size = new System.Drawing.Size(195, 6);
//
// selectAllToolStripMenuItem
//
this.selectAllToolStripMenuItem.Name = "selectAllToolStripMenuItem";
this.selectAllToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.A)));
this.selectAllToolStripMenuItem.Size = new System.Drawing.Size(198, 26);
this.selectAllToolStripMenuItem.Text = "Select &All";
//
// viewMenu
//
this.viewMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.showSpecificationViewToolStripMenuItem,
this.showFunctionalBlocksToolStripMenuItem,
this.showModelViewToolStripMenuItem,
this.showTestsToolStripMenuItem,
this.showTranslationViewToolStripMenuItem,
this.showViewsToolStripMenuItem,
this.toolStripSeparator22,
this.dockedToolStripMenuItem,
this.toolStripSeparator12,
this.toolBarToolStripMenuItem,
this.statusBarToolStripMenuItem});
this.viewMenu.Name = "viewMenu";
this.viewMenu.Size = new System.Drawing.Size(53, 24);
this.viewMenu.Text = "&View";
//
// showSpecificationViewToolStripMenuItem
//
this.showSpecificationViewToolStripMenuItem.Name = "showSpecificationViewToolStripMenuItem";
this.showSpecificationViewToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showSpecificationViewToolStripMenuItem.Text = "Show specification view";
this.showSpecificationViewToolStripMenuItem.Click += new System.EventHandler(this.showSpecificationViewToolStripMenuItem_Click_1);
//
// showFunctionalBlocksToolStripMenuItem
//
this.showFunctionalBlocksToolStripMenuItem.Name = "showFunctionalBlocksToolStripMenuItem";
this.showFunctionalBlocksToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showFunctionalBlocksToolStripMenuItem.Text = "Show requirement sets";
this.showFunctionalBlocksToolStripMenuItem.Click += new System.EventHandler(this.showRequirementSetToolStripMenuItem_Click);
//
// showModelViewToolStripMenuItem
//
this.showModelViewToolStripMenuItem.Name = "showModelViewToolStripMenuItem";
this.showModelViewToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showModelViewToolStripMenuItem.Text = "Show model view";
this.showModelViewToolStripMenuItem.Click += new System.EventHandler(this.showModelViewToolStripMenuItem_Click_1);
//
// showTestsToolStripMenuItem
//
this.showTestsToolStripMenuItem.Name = "showTestsToolStripMenuItem";
this.showTestsToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showTestsToolStripMenuItem.Text = "Show tests view";
this.showTestsToolStripMenuItem.Click += new System.EventHandler(this.showTestsToolStripMenuItem_Click_1);
//
// showTranslationViewToolStripMenuItem
//
this.showTranslationViewToolStripMenuItem.Name = "showTranslationViewToolStripMenuItem";
this.showTranslationViewToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showTranslationViewToolStripMenuItem.Text = "Show translation view";
this.showTranslationViewToolStripMenuItem.Click += new System.EventHandler(this.showTranslationViewToolStripMenuItem_Click);
//
// showViewsToolStripMenuItem
//
this.showViewsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.showExpressionEditorToolStripMenuItem,
this.showCommentEditorToolStripMenuItem,
this.toolStripSeparator23,
this.showNavigationViewToolStripMenuItem1,
this.showProperyViewToolStripMenuItem,
this.showMoreInfoViewToolStripMenuItem1,
this.showMessagesVoewToolStripMenuItem,
this.showRequirementViewToolStripMenuItem,
this.showUsageViewToolStripMenuItem,
this.toolStripSeparator11,
this.showSelectionHistoryViewToolStripMenuItem,
this.showShortcutsViewToolStripMenuItem,
this.showHistoryViewToolStripMenuItem,
this.toolStripSeparator14,
this.showWatchViewToolStripMenuItem});
this.showViewsToolStripMenuItem.Name = "showViewsToolStripMenuItem";
this.showViewsToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.showViewsToolStripMenuItem.Text = "Show tools";
//
// showExpressionEditorToolStripMenuItem
//
this.showExpressionEditorToolStripMenuItem.Name = "showExpressionEditorToolStripMenuItem";
this.showExpressionEditorToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showExpressionEditorToolStripMenuItem.Text = "Show expression editor";
this.showExpressionEditorToolStripMenuItem.Click += new System.EventHandler(this.showExpressionEditorToolStripMenuItem_Click);
//
// showCommentEditorToolStripMenuItem
//
this.showCommentEditorToolStripMenuItem.Name = "showCommentEditorToolStripMenuItem";
this.showCommentEditorToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showCommentEditorToolStripMenuItem.Text = "Show comment editor";
this.showCommentEditorToolStripMenuItem.Click += new System.EventHandler(this.showCommentEditorToolStripMenuItem_Click);
//
// toolStripSeparator23
//
this.toolStripSeparator23.Name = "toolStripSeparator23";
this.toolStripSeparator23.Size = new System.Drawing.Size(314, 6);
//
// showNavigationViewToolStripMenuItem1
//
this.showNavigationViewToolStripMenuItem1.Name = "showNavigationViewToolStripMenuItem1";
this.showNavigationViewToolStripMenuItem1.Size = new System.Drawing.Size(317, 26);
this.showNavigationViewToolStripMenuItem1.Text = "Show navigation view";
this.showNavigationViewToolStripMenuItem1.Click += new System.EventHandler(this.showNavigationViewToolStripMenuItem1_Click);
//
// showProperyViewToolStripMenuItem
//
this.showProperyViewToolStripMenuItem.Name = "showProperyViewToolStripMenuItem";
this.showProperyViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showProperyViewToolStripMenuItem.Text = "Show property view";
this.showProperyViewToolStripMenuItem.Click += new System.EventHandler(this.showProperyViewToolStripMenuItem_Click);
//
// showMoreInfoViewToolStripMenuItem1
//
this.showMoreInfoViewToolStripMenuItem1.Name = "showMoreInfoViewToolStripMenuItem1";
this.showMoreInfoViewToolStripMenuItem1.Size = new System.Drawing.Size(317, 26);
this.showMoreInfoViewToolStripMenuItem1.Text = "Show more info view";
this.showMoreInfoViewToolStripMenuItem1.Click += new System.EventHandler(this.showMoreInfoViewToolStripMenuItem1_Click);
//
// showMessagesVoewToolStripMenuItem
//
this.showMessagesVoewToolStripMenuItem.Name = "showMessagesVoewToolStripMenuItem";
this.showMessagesVoewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showMessagesVoewToolStripMenuItem.Text = "Show messages view";
this.showMessagesVoewToolStripMenuItem.Click += new System.EventHandler(this.showMessagesVoewToolStripMenuItem_Click);
//
// showRequirementViewToolStripMenuItem
//
this.showRequirementViewToolStripMenuItem.Name = "showRequirementViewToolStripMenuItem";
this.showRequirementViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showRequirementViewToolStripMenuItem.Text = "Show requirement description view";
this.showRequirementViewToolStripMenuItem.Click += new System.EventHandler(this.showRequirementViewToolStripMenuItem_Click);
//
// showUsageViewToolStripMenuItem
//
this.showUsageViewToolStripMenuItem.Name = "showUsageViewToolStripMenuItem";
this.showUsageViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showUsageViewToolStripMenuItem.Text = "Show usage view";
this.showUsageViewToolStripMenuItem.Click += new System.EventHandler(this.showUsageViewToolStripMenuItem_Click);
//
// toolStripSeparator11
//
this.toolStripSeparator11.Name = "toolStripSeparator11";
this.toolStripSeparator11.Size = new System.Drawing.Size(314, 6);
//
// showSelectionHistoryViewToolStripMenuItem
//
this.showSelectionHistoryViewToolStripMenuItem.Name = "showSelectionHistoryViewToolStripMenuItem";
this.showSelectionHistoryViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showSelectionHistoryViewToolStripMenuItem.Text = "Show selection history view";
this.showSelectionHistoryViewToolStripMenuItem.Click += new System.EventHandler(this.showSelectionHistoryViewToolStripMenuItem_Click);
//
// showShortcutsViewToolStripMenuItem
//
this.showShortcutsViewToolStripMenuItem.Name = "showShortcutsViewToolStripMenuItem";
this.showShortcutsViewToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.E)));
this.showShortcutsViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showShortcutsViewToolStripMenuItem.Text = "Show shortcuts view";
this.showShortcutsViewToolStripMenuItem.Click += new System.EventHandler(this.showShortcutsViewToolStripMenuItem_Click_1);
//
// showHistoryViewToolStripMenuItem
//
this.showHistoryViewToolStripMenuItem.Name = "showHistoryViewToolStripMenuItem";
this.showHistoryViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showHistoryViewToolStripMenuItem.Text = "Show history view";
this.showHistoryViewToolStripMenuItem.Click += new System.EventHandler(this.showHistoryViewToolStripMenuItem_Click);
//
// toolStripSeparator14
//
this.toolStripSeparator14.Name = "toolStripSeparator14";
this.toolStripSeparator14.Size = new System.Drawing.Size(314, 6);
//
// showWatchViewToolStripMenuItem
//
this.showWatchViewToolStripMenuItem.Name = "showWatchViewToolStripMenuItem";
this.showWatchViewToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.showWatchViewToolStripMenuItem.Text = "Show watch view";
this.showWatchViewToolStripMenuItem.Click += new System.EventHandler(this.showWatchViewToolStripMenuItem_Click);
//
// toolStripSeparator22
//
this.toolStripSeparator22.Name = "toolStripSeparator22";
this.toolStripSeparator22.Size = new System.Drawing.Size(239, 6);
//
// dockedToolStripMenuItem
//
this.dockedToolStripMenuItem.Name = "dockedToolStripMenuItem";
this.dockedToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.dockedToolStripMenuItem.Text = "Undock selected";
this.dockedToolStripMenuItem.Click += new System.EventHandler(this.dockedToolStripMenuItem_Click);
//
// toolStripSeparator12
//
this.toolStripSeparator12.Name = "toolStripSeparator12";
this.toolStripSeparator12.Size = new System.Drawing.Size(239, 6);
//
// toolBarToolStripMenuItem
//
this.toolBarToolStripMenuItem.Checked = true;
this.toolBarToolStripMenuItem.CheckOnClick = true;
this.toolBarToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.toolBarToolStripMenuItem.Name = "toolBarToolStripMenuItem";
this.toolBarToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.toolBarToolStripMenuItem.Text = "&Toolbar";
this.toolBarToolStripMenuItem.Click += new System.EventHandler(this.ToolBarToolStripMenuItem_Click);
//
// statusBarToolStripMenuItem
//
this.statusBarToolStripMenuItem.Checked = true;
this.statusBarToolStripMenuItem.CheckOnClick = true;
this.statusBarToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
this.statusBarToolStripMenuItem.Name = "statusBarToolStripMenuItem";
this.statusBarToolStripMenuItem.Size = new System.Drawing.Size(242, 26);
this.statusBarToolStripMenuItem.Text = "&Status Bar";
this.statusBarToolStripMenuItem.Click += new System.EventHandler(this.StatusBarToolStripMenuItem_Click);
//
// toolsMenu
//
this.toolsMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.clearMarksToolStripMenuItem,
this.checkToolStripMenuItem,
this.specificationsToolStripMenuItem,
this.findToolStripMenuItem,
this.testsToolStripMenuItem,
this.historyToolStripMenuItem,
this.mergeUpdateToolStripMenuItem,
this.generateERTMSAcademyReportToolStripMenuItem,
this.toolStripSeparator9,
this.searchToolStripMenuItem1,
this.toolStripSeparator19,
this.refreshWindowsToolStripMenuItem,
this.toolStripSeparator20,
this.optionsToolStripMenuItem});
this.toolsMenu.Name = "toolsMenu";
this.toolsMenu.Size = new System.Drawing.Size(57, 24);
this.toolsMenu.Text = "&Tools";
//
// clearMarksToolStripMenuItem
//
this.clearMarksToolStripMenuItem.Name = "clearMarksToolStripMenuItem";
this.clearMarksToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.clearMarksToolStripMenuItem.Text = "Clear marks";
this.clearMarksToolStripMenuItem.Click += new System.EventHandler(this.clearMarksToolStripMenuItem_Click);
//
// checkToolStripMenuItem
//
this.checkToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.checkModelToolStripMenuItem1,
this.checkToolStripMenuItem1});
this.checkToolStripMenuItem.Name = "checkToolStripMenuItem";
this.checkToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.checkToolStripMenuItem.Text = "Check";
//
// checkModelToolStripMenuItem1
//
this.checkModelToolStripMenuItem1.Name = "checkModelToolStripMenuItem1";
this.checkModelToolStripMenuItem1.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.R)));
this.checkModelToolStripMenuItem1.Size = new System.Drawing.Size(284, 26);
this.checkModelToolStripMenuItem1.Text = "Check model";
this.checkModelToolStripMenuItem1.Click += new System.EventHandler(this.checkModelToolStripMenuItem1_Click);
//
// checkToolStripMenuItem1
//
this.checkToolStripMenuItem1.Name = "checkToolStripMenuItem1";
this.checkToolStripMenuItem1.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.D)));
this.checkToolStripMenuItem1.Size = new System.Drawing.Size(284, 26);
this.checkToolStripMenuItem1.Text = "Check for dead model";
this.checkToolStripMenuItem1.Click += new System.EventHandler(this.checkToolStripMenuItem1_Click);
//
// specificationsToolStripMenuItem
//
this.specificationsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.markApplicableParagraphsToolStripMenuItem,
this.markNonApplicableParagraphsToolStripMenuItem,
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem,
this.notImplementedToolStripMenuItem,
this.reviewedToolStripMenuItem,
this.markNotImplementedButImplementationExistsToolStripMenuItem,
this.markImplementedButNoFunctionalTestToolStripMenuItem,
this.markNotTestedButFunctionalTestToolStripMenuItem,
this.markSpecIssuesToolStripMenuItem,
this.markParagraphsFromNewRevisionToolStripMenuItem,
this.toolStripSeparator15,
this.generateCoverageReportToolStripMenuItem,
this.generateSpecIssuesReportToolStripMenuItem});
this.specificationsToolStripMenuItem.Name = "specificationsToolStripMenuItem";
this.specificationsToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.specificationsToolStripMenuItem.Text = "Specifications";
//
// markApplicableParagraphsToolStripMenuItem
//
this.markApplicableParagraphsToolStripMenuItem.Name = "markApplicableParagraphsToolStripMenuItem";
this.markApplicableParagraphsToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markApplicableParagraphsToolStripMenuItem.Text = "Mark applicable paragraphs";
this.markApplicableParagraphsToolStripMenuItem.Click += new System.EventHandler(this.markApplicableParagraphsToolStripMenuItem_Click);
//
// markNonApplicableParagraphsToolStripMenuItem
//
this.markNonApplicableParagraphsToolStripMenuItem.Name = "markNonApplicableParagraphsToolStripMenuItem";
this.markNonApplicableParagraphsToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markNonApplicableParagraphsToolStripMenuItem.Text = "Mark non applicable paragraphs";
this.markNonApplicableParagraphsToolStripMenuItem.Click += new System.EventHandler(this.markNonApplicableRequirementsToolStripMenuItem_Click);
//
// markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem
//
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem.Name = "markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem";
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem.Text = "Mark where more info is required";
this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem.Click += new System.EventHandler(this.markRequirementsWhereMoreInfoIsRequiredToolStripMenuItem_Click);
//
// notImplementedToolStripMenuItem
//
this.notImplementedToolStripMenuItem.Name = "notImplementedToolStripMenuItem";
this.notImplementedToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.notImplementedToolStripMenuItem.Text = "Mark not implemented";
this.notImplementedToolStripMenuItem.Click += new System.EventHandler(this.implementedToolStripMenuItem_Click);
//
// reviewedToolStripMenuItem
//
this.reviewedToolStripMenuItem.Name = "reviewedToolStripMenuItem";
this.reviewedToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.reviewedToolStripMenuItem.Text = "Mark not reviewed";
this.reviewedToolStripMenuItem.Click += new System.EventHandler(this.reviewedToolStripMenuItem_Click);
//
// markNotImplementedButImplementationExistsToolStripMenuItem
//
this.markNotImplementedButImplementationExistsToolStripMenuItem.Name = "markNotImplementedButImplementationExistsToolStripMenuItem";
this.markNotImplementedButImplementationExistsToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markNotImplementedButImplementationExistsToolStripMenuItem.Text = "Mark not implemented but implementation exists";
this.markNotImplementedButImplementationExistsToolStripMenuItem.Click += new System.EventHandler(this.markNotImplementedButImplementationExistsToolStripMenuItem_Click);
//
// markImplementedButNoFunctionalTestToolStripMenuItem
//
this.markImplementedButNoFunctionalTestToolStripMenuItem.Name = "markImplementedButNoFunctionalTestToolStripMenuItem";
this.markImplementedButNoFunctionalTestToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markImplementedButNoFunctionalTestToolStripMenuItem.Text = "Mark implemented but no functional test exists";
this.markImplementedButNoFunctionalTestToolStripMenuItem.Click += new System.EventHandler(this.markImplementedButNoFunctionalTestToolStripMenuItem_Click);
//
// markNotTestedButFunctionalTestToolStripMenuItem
//
this.markNotTestedButFunctionalTestToolStripMenuItem.Name = "markNotTestedButFunctionalTestToolStripMenuItem";
this.markNotTestedButFunctionalTestToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markNotTestedButFunctionalTestToolStripMenuItem.Text = "Mark not tested but functional test exists";
this.markNotTestedButFunctionalTestToolStripMenuItem.Click += new System.EventHandler(this.markNotTestedButFunctionalTestToolStripMenuItem_Click);
//
// markSpecIssuesToolStripMenuItem
//
this.markSpecIssuesToolStripMenuItem.Name = "markSpecIssuesToolStripMenuItem";
this.markSpecIssuesToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markSpecIssuesToolStripMenuItem.Text = "Mark spec issues";
this.markSpecIssuesToolStripMenuItem.Click += new System.EventHandler(this.markSpecIssuesToolStripMenuItem_Click);
//
// markParagraphsFromNewRevisionToolStripMenuItem
//
this.markParagraphsFromNewRevisionToolStripMenuItem.Name = "markParagraphsFromNewRevisionToolStripMenuItem";
this.markParagraphsFromNewRevisionToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.markParagraphsFromNewRevisionToolStripMenuItem.Text = "Mark paragraphs from new revision";
this.markParagraphsFromNewRevisionToolStripMenuItem.Click += new System.EventHandler(this.markParagraphsFromNewRevisionToolStripMenuItem_Click);
//
// toolStripSeparator15
//
this.toolStripSeparator15.Name = "toolStripSeparator15";
this.toolStripSeparator15.Size = new System.Drawing.Size(409, 6);
//
// generateCoverageReportToolStripMenuItem
//
this.generateCoverageReportToolStripMenuItem.Name = "generateCoverageReportToolStripMenuItem";
this.generateCoverageReportToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.generateCoverageReportToolStripMenuItem.Text = "Generate coverage report...";
this.generateCoverageReportToolStripMenuItem.Click += new System.EventHandler(this.generateCoverageReportToolStripMenuItem_Click);
//
// generateSpecIssuesReportToolStripMenuItem
//
this.generateSpecIssuesReportToolStripMenuItem.Name = "generateSpecIssuesReportToolStripMenuItem";
this.generateSpecIssuesReportToolStripMenuItem.Size = new System.Drawing.Size(412, 26);
this.generateSpecIssuesReportToolStripMenuItem.Text = "Generate spec issues report...";
this.generateSpecIssuesReportToolStripMenuItem.Click += new System.EventHandler(this.generateSpecIssuesReportToolStripMenuItem_Click);
//
// findToolStripMenuItem
//
this.findToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.implementationRequiredToolStripMenuItem,
this.verificationRequiredToolStripMenuItem,
this.markVariableModeToolStripMenuItem,
this.markRulePriorityToolStripMenuItem,
this.toolStripSeparator18,
this.generateDataDictionaryReportToolStripMenuItem,
this.generateFunctionalAnalysisReportToolStripMenuItem,
this.toolStripSeparator21,
this.resetCountersToolStripMenuItem,
this.showRulePerformancesToolStripMenuItem,
this.showFunctionsPerformancesToolStripMenuItem,
this.toolStripSeparator17,
this.refactorToolStripMenuItem});
this.findToolStripMenuItem.Name = "findToolStripMenuItem";
this.findToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.findToolStripMenuItem.Text = "Model";
//
// implementationRequiredToolStripMenuItem
//
this.implementationRequiredToolStripMenuItem.Name = "implementationRequiredToolStripMenuItem";
this.implementationRequiredToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.implementationRequiredToolStripMenuItem.Text = "Mark implementation required";
this.implementationRequiredToolStripMenuItem.Click += new System.EventHandler(this.implementationRequiredToolStripMenuItem_Click);
//
// verificationRequiredToolStripMenuItem
//
this.verificationRequiredToolStripMenuItem.Name = "verificationRequiredToolStripMenuItem";
this.verificationRequiredToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.verificationRequiredToolStripMenuItem.Text = "Mark verification required";
this.verificationRequiredToolStripMenuItem.Click += new System.EventHandler(this.verificationRequiredToolStripMenuItem_Click);
//
// markVariableModeToolStripMenuItem
//
this.markVariableModeToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.iNToolStripMenuItem,
this.oUTToolStripMenuItem,
this.iNOUTToolStripMenuItem});
this.markVariableModeToolStripMenuItem.Name = "markVariableModeToolStripMenuItem";
this.markVariableModeToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.markVariableModeToolStripMenuItem.Text = "Mark variable mode";
//
// iNToolStripMenuItem
//
this.iNToolStripMenuItem.Name = "iNToolStripMenuItem";
this.iNToolStripMenuItem.Size = new System.Drawing.Size(134, 26);
this.iNToolStripMenuItem.Text = "IN";
this.iNToolStripMenuItem.Click += new System.EventHandler(this.iNToolStripMenuItem_Click);
//
// oUTToolStripMenuItem
//
this.oUTToolStripMenuItem.Name = "oUTToolStripMenuItem";
this.oUTToolStripMenuItem.Size = new System.Drawing.Size(134, 26);
this.oUTToolStripMenuItem.Text = "OUT";
this.oUTToolStripMenuItem.Click += new System.EventHandler(this.oUTToolStripMenuItem_Click);
//
// iNOUTToolStripMenuItem
//
this.iNOUTToolStripMenuItem.Name = "iNOUTToolStripMenuItem";
this.iNOUTToolStripMenuItem.Size = new System.Drawing.Size(134, 26);
this.iNOUTToolStripMenuItem.Text = "IN_OUT";
this.iNOUTToolStripMenuItem.Click += new System.EventHandler(this.iNOUTToolStripMenuItem_Click);
//
// markRulePriorityToolStripMenuItem
//
this.markRulePriorityToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.verificationToolStripMenuItem,
this.updateINTERNALToolStripMenuItem,
this.processingToolStripMenuItem,
this.updateOUTToolStripMenuItem,
this.cleanUpToolStripMenuItem});
this.markRulePriorityToolStripMenuItem.Name = "markRulePriorityToolStripMenuItem";
this.markRulePriorityToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.markRulePriorityToolStripMenuItem.Text = "Mark rule priority";
//
// verificationToolStripMenuItem
//
this.verificationToolStripMenuItem.Name = "verificationToolStripMenuItem";
this.verificationToolStripMenuItem.Size = new System.Drawing.Size(205, 26);
this.verificationToolStripMenuItem.Text = "Verification";
this.verificationToolStripMenuItem.Click += new System.EventHandler(this.verificationToolStripMenuItem_Click);
//
// updateINTERNALToolStripMenuItem
//
this.updateINTERNALToolStripMenuItem.Name = "updateINTERNALToolStripMenuItem";
this.updateINTERNALToolStripMenuItem.Size = new System.Drawing.Size(205, 26);
this.updateINTERNALToolStripMenuItem.Text = "Update INTERNAL";
this.updateINTERNALToolStripMenuItem.Click += new System.EventHandler(this.updateINTERNALToolStripMenuItem_Click);
//
// processingToolStripMenuItem
//
this.processingToolStripMenuItem.Name = "processingToolStripMenuItem";
this.processingToolStripMenuItem.Size = new System.Drawing.Size(205, 26);
this.processingToolStripMenuItem.Text = "Processing";
this.processingToolStripMenuItem.Click += new System.EventHandler(this.processingToolStripMenuItem_Click);
//
// updateOUTToolStripMenuItem
//
this.updateOUTToolStripMenuItem.Name = "updateOUTToolStripMenuItem";
this.updateOUTToolStripMenuItem.Size = new System.Drawing.Size(205, 26);
this.updateOUTToolStripMenuItem.Text = "Update OUT";
this.updateOUTToolStripMenuItem.Click += new System.EventHandler(this.updateOUTToolStripMenuItem_Click);
//
// cleanUpToolStripMenuItem
//
this.cleanUpToolStripMenuItem.Name = "cleanUpToolStripMenuItem";
this.cleanUpToolStripMenuItem.Size = new System.Drawing.Size(205, 26);
this.cleanUpToolStripMenuItem.Text = "Clean Up";
this.cleanUpToolStripMenuItem.Click += new System.EventHandler(this.cleanUpToolStripMenuItem_Click);
//
// toolStripSeparator18
//
this.toolStripSeparator18.Name = "toolStripSeparator18";
this.toolStripSeparator18.Size = new System.Drawing.Size(311, 6);
//
// generateDataDictionaryReportToolStripMenuItem
//
this.generateDataDictionaryReportToolStripMenuItem.Name = "generateDataDictionaryReportToolStripMenuItem";
this.generateDataDictionaryReportToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.generateDataDictionaryReportToolStripMenuItem.Text = "Generate data dictionary report...";
this.generateDataDictionaryReportToolStripMenuItem.Click += new System.EventHandler(this.generateDataDictionaryReportToolStripMenuItem_Click);
//
// generateFunctionalAnalysisReportToolStripMenuItem
//
this.generateFunctionalAnalysisReportToolStripMenuItem.Name = "generateFunctionalAnalysisReportToolStripMenuItem";
this.generateFunctionalAnalysisReportToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.generateFunctionalAnalysisReportToolStripMenuItem.Text = "Generate functional analysis report";
this.generateFunctionalAnalysisReportToolStripMenuItem.Click += new System.EventHandler(this.generateFunctionalAnalysisReportToolStripMenuItem_Click);
//
// toolStripSeparator21
//
this.toolStripSeparator21.Name = "toolStripSeparator21";
this.toolStripSeparator21.Size = new System.Drawing.Size(311, 6);
//
// resetCountersToolStripMenuItem
//
this.resetCountersToolStripMenuItem.Name = "resetCountersToolStripMenuItem";
this.resetCountersToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.resetCountersToolStripMenuItem.Text = "Reset counters";
this.resetCountersToolStripMenuItem.Click += new System.EventHandler(this.resetCountersToolStripMenuItem_Click);
//
// showRulePerformancesToolStripMenuItem
//
this.showRulePerformancesToolStripMenuItem.Name = "showRulePerformancesToolStripMenuItem";
this.showRulePerformancesToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.showRulePerformancesToolStripMenuItem.Text = "Show rule performances";
this.showRulePerformancesToolStripMenuItem.Click += new System.EventHandler(this.showRulePerformancesToolStripMenuItem_Click);
//
// showFunctionsPerformancesToolStripMenuItem
//
this.showFunctionsPerformancesToolStripMenuItem.Name = "showFunctionsPerformancesToolStripMenuItem";
this.showFunctionsPerformancesToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.showFunctionsPerformancesToolStripMenuItem.Text = "Show functions performances";
this.showFunctionsPerformancesToolStripMenuItem.Click += new System.EventHandler(this.showFunctionsPerformancesToolStripMenuItem_Click);
//
// toolStripSeparator17
//
this.toolStripSeparator17.Name = "toolStripSeparator17";
this.toolStripSeparator17.Size = new System.Drawing.Size(311, 6);
//
// refactorToolStripMenuItem
//
this.refactorToolStripMenuItem.Name = "refactorToolStripMenuItem";
this.refactorToolStripMenuItem.Size = new System.Drawing.Size(314, 26);
this.refactorToolStripMenuItem.Text = "Clean up";
this.refactorToolStripMenuItem.Click += new System.EventHandler(this.refactorToolStripMenuItem_Click_1);
//
// testsToolStripMenuItem
//
this.testsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripSeparator13,
this.markImplementationRequiredToolStripMenuItem,
this.markNotTranslatedToolStripMenuItem,
this.markNotImplementedTranslationsToolStripMenuItem,
this.toolStripSeparator10,
this.findInSubset076ToolStripMenuItem,
this.importDatabaseToolStripMenuItem,
this.importFolderToolStripMenuItem,
this.toolStripSeparator16,
this.generateDynamicCoverageReportToolStripMenuItem,
this.generateFindingsReportToolStripMenuItem});
this.testsToolStripMenuItem.Name = "testsToolStripMenuItem";
this.testsToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.testsToolStripMenuItem.Text = "Tests";
//
// toolStripSeparator13
//
this.toolStripSeparator13.Name = "toolStripSeparator13";
this.toolStripSeparator13.Size = new System.Drawing.Size(320, 6);
//
// markImplementationRequiredToolStripMenuItem
//
this.markImplementationRequiredToolStripMenuItem.Name = "markImplementationRequiredToolStripMenuItem";
this.markImplementationRequiredToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.markImplementationRequiredToolStripMenuItem.Text = "Mark implementation required";
this.markImplementationRequiredToolStripMenuItem.Click += new System.EventHandler(this.markImplementationRequiredToolStripMenuItem_Click);
//
// markNotTranslatedToolStripMenuItem
//
this.markNotTranslatedToolStripMenuItem.Name = "markNotTranslatedToolStripMenuItem";
this.markNotTranslatedToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.markNotTranslatedToolStripMenuItem.Text = "Mark not translated";
this.markNotTranslatedToolStripMenuItem.Click += new System.EventHandler(this.markNotTranslatedToolStripMenuItem_Click);
//
// markNotImplementedTranslationsToolStripMenuItem
//
this.markNotImplementedTranslationsToolStripMenuItem.Name = "markNotImplementedTranslationsToolStripMenuItem";
this.markNotImplementedTranslationsToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.markNotImplementedTranslationsToolStripMenuItem.Text = "Mark not implemented translations";
this.markNotImplementedTranslationsToolStripMenuItem.Click += new System.EventHandler(this.markNotImplementedTranslationsToolStripMenuItem_Click);
//
// toolStripSeparator10
//
this.toolStripSeparator10.Name = "toolStripSeparator10";
this.toolStripSeparator10.Size = new System.Drawing.Size(320, 6);
//
// importDatabaseToolStripMenuItem
//
this.importDatabaseToolStripMenuItem.Name = "importDatabaseToolStripMenuItem";
this.importDatabaseToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.importDatabaseToolStripMenuItem.Text = "Import database...";
this.importDatabaseToolStripMenuItem.Click += new System.EventHandler(this.importDatabaseToolStripMenuItem_Click);
//
// importFolderToolStripMenuItem
//
this.importFolderToolStripMenuItem.Name = "importFolderToolStripMenuItem";
this.importFolderToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.importFolderToolStripMenuItem.Text = "Import folder...";
this.importFolderToolStripMenuItem.Click += new System.EventHandler(this.importFolderToolStripMenuItem_Click);
//
// toolStripSeparator16
//
this.toolStripSeparator16.Name = "toolStripSeparator16";
this.toolStripSeparator16.Size = new System.Drawing.Size(320, 6);
//
// generateDynamicCoverageReportToolStripMenuItem
//
this.generateDynamicCoverageReportToolStripMenuItem.Name = "generateDynamicCoverageReportToolStripMenuItem";
this.generateDynamicCoverageReportToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.generateDynamicCoverageReportToolStripMenuItem.Text = "Generate dynamic coverage report...";
this.generateDynamicCoverageReportToolStripMenuItem.Click += new System.EventHandler(this.generateDynamicCoverageReportToolStripMenuItem_Click);
//
// generateFindingsReportToolStripMenuItem
//
this.generateFindingsReportToolStripMenuItem.Name = "generateFindingsReportToolStripMenuItem";
this.generateFindingsReportToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.generateFindingsReportToolStripMenuItem.Text = "Generate Findings report...";
this.generateFindingsReportToolStripMenuItem.Click += new System.EventHandler(this.generateFindingsReportToolStripMenuItem_Click);
//
// historyToolStripMenuItem
//
this.historyToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.compareWithToolStripMenuItem,
this.compareWithGitRevisionToolStripMenuItem,
this.blameUntilToolStripMenuItem});
this.historyToolStripMenuItem.Name = "historyToolStripMenuItem";
this.historyToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.historyToolStripMenuItem.Text = "History";
//
// compareWithToolStripMenuItem
//
this.compareWithToolStripMenuItem.Name = "compareWithToolStripMenuItem";
this.compareWithToolStripMenuItem.Size = new System.Drawing.Size(263, 26);
this.compareWithToolStripMenuItem.Text = "Compare with local file...";
this.compareWithToolStripMenuItem.Click += new System.EventHandler(this.compareWithToolStripMenuItem_Click);
//
// compareWithGitRevisionToolStripMenuItem
//
this.compareWithGitRevisionToolStripMenuItem.Name = "compareWithGitRevisionToolStripMenuItem";
this.compareWithGitRevisionToolStripMenuItem.Size = new System.Drawing.Size(263, 26);
this.compareWithGitRevisionToolStripMenuItem.Text = "Compare with git revision...";
this.compareWithGitRevisionToolStripMenuItem.Click += new System.EventHandler(this.compareWithGitRevisionToolStripMenuItem_Click);
//
// blameUntilToolStripMenuItem
//
this.blameUntilToolStripMenuItem.Name = "blameUntilToolStripMenuItem";
this.blameUntilToolStripMenuItem.Size = new System.Drawing.Size(263, 26);
this.blameUntilToolStripMenuItem.Text = "Blame until...";
this.blameUntilToolStripMenuItem.Click += new System.EventHandler(this.blameUntilToolStripMenuItem_Click);
//
// mergeUpdateToolStripMenuItem
//
this.mergeUpdateToolStripMenuItem.Name = "mergeUpdateToolStripMenuItem";
this.mergeUpdateToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.mergeUpdateToolStripMenuItem.Text = "Merge update";
this.mergeUpdateToolStripMenuItem.Click += new System.EventHandler(this.mergeUpdateToolStripMenuItem_Click);
//
// generateERTMSAcademyReportToolStripMenuItem
//
this.generateERTMSAcademyReportToolStripMenuItem.Name = "generateERTMSAcademyReportToolStripMenuItem";
this.generateERTMSAcademyReportToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.generateERTMSAcademyReportToolStripMenuItem.Text = "Generate ERTMS Academy report....";
this.generateERTMSAcademyReportToolStripMenuItem.Click += new System.EventHandler(this.generateERTMSAcademyReportToolStripMenuItem_Click);
//
// toolStripSeparator9
//
this.toolStripSeparator9.Name = "toolStripSeparator9";
this.toolStripSeparator9.Size = new System.Drawing.Size(314, 6);
//
// searchToolStripMenuItem1
//
this.searchToolStripMenuItem1.Name = "searchToolStripMenuItem1";
this.searchToolStripMenuItem1.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F)));
this.searchToolStripMenuItem1.Size = new System.Drawing.Size(317, 26);
this.searchToolStripMenuItem1.Text = "Search";
this.searchToolStripMenuItem1.Click += new System.EventHandler(this.searchToolStripMenuItem1_Click);
//
// toolStripSeparator19
//
this.toolStripSeparator19.Name = "toolStripSeparator19";
this.toolStripSeparator19.Size = new System.Drawing.Size(314, 6);
//
// refreshWindowsToolStripMenuItem
//
this.refreshWindowsToolStripMenuItem.Name = "refreshWindowsToolStripMenuItem";
this.refreshWindowsToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.refreshWindowsToolStripMenuItem.Text = "Refresh windows";
this.refreshWindowsToolStripMenuItem.Click += new System.EventHandler(this.refreshWindowsToolStripMenuItem_Click);
//
// toolStripSeparator20
//
this.toolStripSeparator20.Name = "toolStripSeparator20";
this.toolStripSeparator20.Size = new System.Drawing.Size(314, 6);
//
// optionsToolStripMenuItem
//
this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
this.optionsToolStripMenuItem.Size = new System.Drawing.Size(317, 26);
this.optionsToolStripMenuItem.Text = "&Options";
this.optionsToolStripMenuItem.Click += new System.EventHandler(this.optionsToolStripMenuItem_Click);
//
// windowsMenu
//
this.windowsMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.cascadeToolStripMenuItem,
this.tileVerticalToolStripMenuItem,
this.tileHorizontalToolStripMenuItem,
this.closeAllToolStripMenuItem,
this.arrangeIconsToolStripMenuItem});
this.windowsMenu.Name = "windowsMenu";
this.windowsMenu.Size = new System.Drawing.Size(82, 24);
this.windowsMenu.Text = "&Windows";
//
// cascadeToolStripMenuItem
//
this.cascadeToolStripMenuItem.Name = "cascadeToolStripMenuItem";
this.cascadeToolStripMenuItem.Size = new System.Drawing.Size(182, 26);
this.cascadeToolStripMenuItem.Text = "&Cascade";
this.cascadeToolStripMenuItem.Click += new System.EventHandler(this.CascadeToolStripMenuItem_Click);
//
// tileVerticalToolStripMenuItem
//
this.tileVerticalToolStripMenuItem.Name = "tileVerticalToolStripMenuItem";
this.tileVerticalToolStripMenuItem.Size = new System.Drawing.Size(182, 26);
this.tileVerticalToolStripMenuItem.Text = "Tile &Vertical";
this.tileVerticalToolStripMenuItem.Click += new System.EventHandler(this.TileVerticalToolStripMenuItem_Click);
//
// tileHorizontalToolStripMenuItem
//
this.tileHorizontalToolStripMenuItem.Name = "tileHorizontalToolStripMenuItem";
this.tileHorizontalToolStripMenuItem.Size = new System.Drawing.Size(182, 26);
this.tileHorizontalToolStripMenuItem.Text = "Tile &Horizontal";
this.tileHorizontalToolStripMenuItem.Click += new System.EventHandler(this.TileHorizontalToolStripMenuItem_Click);
//
// closeAllToolStripMenuItem
//
this.closeAllToolStripMenuItem.Name = "closeAllToolStripMenuItem";
this.closeAllToolStripMenuItem.Size = new System.Drawing.Size(182, 26);
this.closeAllToolStripMenuItem.Text = "C&lose All";
this.closeAllToolStripMenuItem.Click += new System.EventHandler(this.CloseAllToolStripMenuItem_Click);
//
// arrangeIconsToolStripMenuItem
//
this.arrangeIconsToolStripMenuItem.Name = "arrangeIconsToolStripMenuItem";
this.arrangeIconsToolStripMenuItem.Size = new System.Drawing.Size(182, 26);
this.arrangeIconsToolStripMenuItem.Text = "&Arrange Icons";
this.arrangeIconsToolStripMenuItem.Click += new System.EventHandler(this.ArrangeIconsToolStripMenuItem_Click);
//
// helpMenu
//
this.helpMenu.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.contentsToolStripMenuItem,
this.indexToolStripMenuItem,
this.searchToolStripMenuItem,
this.toolStripSeparator8,
this.aboutToolStripMenuItem});
this.helpMenu.Name = "helpMenu";
this.helpMenu.Size = new System.Drawing.Size(53, 24);
this.helpMenu.Text = "&Help";
//
// contentsToolStripMenuItem
//
this.contentsToolStripMenuItem.Name = "contentsToolStripMenuItem";
this.contentsToolStripMenuItem.ShortcutKeys = ((System.Windows.Forms.Keys)((System.Windows.Forms.Keys.Control | System.Windows.Forms.Keys.F1)));
this.contentsToolStripMenuItem.Size = new System.Drawing.Size(199, 26);
this.contentsToolStripMenuItem.Text = "&Contents";
//
// indexToolStripMenuItem
//
this.indexToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("indexToolStripMenuItem.Image")));
this.indexToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.indexToolStripMenuItem.Name = "indexToolStripMenuItem";
this.indexToolStripMenuItem.Size = new System.Drawing.Size(199, 26);
this.indexToolStripMenuItem.Text = "&Index";
//
// searchToolStripMenuItem
//
this.searchToolStripMenuItem.Image = ((System.Drawing.Image)(resources.GetObject("searchToolStripMenuItem.Image")));
this.searchToolStripMenuItem.ImageTransparentColor = System.Drawing.Color.Black;
this.searchToolStripMenuItem.Name = "searchToolStripMenuItem";
this.searchToolStripMenuItem.Size = new System.Drawing.Size(199, 26);
this.searchToolStripMenuItem.Text = "&Search";
//
// toolStripSeparator8
//
this.toolStripSeparator8.Name = "toolStripSeparator8";
this.toolStripSeparator8.Size = new System.Drawing.Size(196, 6);
//
// aboutToolStripMenuItem
//
this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
this.aboutToolStripMenuItem.Size = new System.Drawing.Size(199, 26);
this.aboutToolStripMenuItem.Text = "&About ...";
this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
//
// toolStrip
//
this.toolStrip.ImageScalingSize = new System.Drawing.Size(20, 20);
this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.openToolStripButton,
this.saveToolStripButton,
this.toolStripSeparator1,
this.printToolStripButton,
this.printPreviewToolStripButton,
this.toolStripSeparator2,
this.helpToolStripButton,
this.toolStripSeparator24});
this.toolStrip.Location = new System.Drawing.Point(0, 28);
this.toolStrip.Name = "toolStrip";
this.toolStrip.Size = new System.Drawing.Size(1152, 27);
this.toolStrip.TabIndex = 1;
this.toolStrip.Text = "ToolStrip";
//
// openToolStripButton
//
this.openToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.openToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("openToolStripButton.Image")));
this.openToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.openToolStripButton.Name = "openToolStripButton";
this.openToolStripButton.Size = new System.Drawing.Size(24, 24);
this.openToolStripButton.Text = "Open";
this.openToolStripButton.Click += new System.EventHandler(this.OpenFile);
//
// saveToolStripButton
//
this.saveToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.saveToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("saveToolStripButton.Image")));
this.saveToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.saveToolStripButton.Name = "saveToolStripButton";
this.saveToolStripButton.Size = new System.Drawing.Size(24, 24);
this.saveToolStripButton.Text = "Save";
this.saveToolStripButton.Click += new System.EventHandler(this.saveToolStripButton_Click);
//
// toolStripSeparator1
//
this.toolStripSeparator1.Name = "toolStripSeparator1";
this.toolStripSeparator1.Size = new System.Drawing.Size(6, 27);
//
// printToolStripButton
//
this.printToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.printToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("printToolStripButton.Image")));
this.printToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.printToolStripButton.Name = "printToolStripButton";
this.printToolStripButton.Size = new System.Drawing.Size(24, 24);
this.printToolStripButton.Text = "Print";
//
// printPreviewToolStripButton
//
this.printPreviewToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.printPreviewToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("printPreviewToolStripButton.Image")));
this.printPreviewToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.printPreviewToolStripButton.Name = "printPreviewToolStripButton";
this.printPreviewToolStripButton.Size = new System.Drawing.Size(24, 24);
this.printPreviewToolStripButton.Text = "Print Preview";
//
// toolStripSeparator2
//
this.toolStripSeparator2.Name = "toolStripSeparator2";
this.toolStripSeparator2.Size = new System.Drawing.Size(6, 27);
//
// helpToolStripButton
//
this.helpToolStripButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Image;
this.helpToolStripButton.Image = ((System.Drawing.Image)(resources.GetObject("helpToolStripButton.Image")));
this.helpToolStripButton.ImageTransparentColor = System.Drawing.Color.Black;
this.helpToolStripButton.Name = "helpToolStripButton";
this.helpToolStripButton.Size = new System.Drawing.Size(24, 24);
this.helpToolStripButton.Text = "Help";
//
// toolStripSeparator24
//
this.toolStripSeparator24.Name = "toolStripSeparator24";
this.toolStripSeparator24.Size = new System.Drawing.Size(6, 27);
//
// statusStrip
//
this.statusStrip.ImageScalingSize = new System.Drawing.Size(20, 20);
this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.toolStripStatusLabel});
this.statusStrip.Location = new System.Drawing.Point(0, 533);
this.statusStrip.Name = "statusStrip";
this.statusStrip.Padding = new System.Windows.Forms.Padding(1, 0, 19, 0);
this.statusStrip.Size = new System.Drawing.Size(1152, 25);
this.statusStrip.TabIndex = 2;
this.statusStrip.Text = "StatusStrip";
//
// toolStripStatusLabel
//
this.toolStripStatusLabel.Name = "toolStripStatusLabel";
this.toolStripStatusLabel.Size = new System.Drawing.Size(49, 20);
this.toolStripStatusLabel.Text = "Status";
//
// dockPanel
//
this.dockPanel.ActiveAutoHideContent = null;
this.dockPanel.BackColor = System.Drawing.SystemColors.AppWorkspace;
this.dockPanel.Dock = System.Windows.Forms.DockStyle.Fill;
this.dockPanel.DockBackColor = System.Drawing.SystemColors.AppWorkspace;
this.dockPanel.DockBottomPortion = 300D;
this.dockPanel.DockLeftPortion = 500D;
this.dockPanel.DockRightPortion = 400D;
this.dockPanel.DockTopPortion = 150D;
this.dockPanel.Location = new System.Drawing.Point(0, 55);
this.dockPanel.Margin = new System.Windows.Forms.Padding(4);
this.dockPanel.Name = "dockPanel";
this.dockPanel.Size = new System.Drawing.Size(1152, 478);
dockPanelGradient1.EndColor = System.Drawing.SystemColors.ControlLight;
dockPanelGradient1.StartColor = System.Drawing.SystemColors.ControlLight;
autoHideStripSkin1.DockStripGradient = dockPanelGradient1;
tabGradient1.EndColor = System.Drawing.SystemColors.Control;
tabGradient1.StartColor = System.Drawing.SystemColors.Control;
tabGradient1.TextColor = System.Drawing.SystemColors.ControlDarkDark;
autoHideStripSkin1.TabGradient = tabGradient1;
dockPanelSkin1.AutoHideStripSkin = autoHideStripSkin1;
tabGradient2.EndColor = System.Drawing.SystemColors.ControlLightLight;
tabGradient2.StartColor = System.Drawing.SystemColors.ControlLightLight;
tabGradient2.TextColor = System.Drawing.SystemColors.ControlText;
dockPaneStripGradient1.ActiveTabGradient = tabGradient2;
dockPanelGradient2.EndColor = System.Drawing.SystemColors.Control;
dockPanelGradient2.StartColor = System.Drawing.SystemColors.Control;
dockPaneStripGradient1.DockStripGradient = dockPanelGradient2;
tabGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
tabGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
tabGradient3.TextColor = System.Drawing.SystemColors.ControlText;
dockPaneStripGradient1.InactiveTabGradient = tabGradient3;
dockPaneStripSkin1.DocumentGradient = dockPaneStripGradient1;
tabGradient4.EndColor = System.Drawing.SystemColors.ActiveCaption;
tabGradient4.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
tabGradient4.StartColor = System.Drawing.SystemColors.GradientActiveCaption;
tabGradient4.TextColor = System.Drawing.SystemColors.ActiveCaptionText;
dockPaneStripToolWindowGradient1.ActiveCaptionGradient = tabGradient4;
tabGradient5.EndColor = System.Drawing.SystemColors.Control;
tabGradient5.StartColor = System.Drawing.SystemColors.Control;
tabGradient5.TextColor = System.Drawing.SystemColors.ControlText;
dockPaneStripToolWindowGradient1.ActiveTabGradient = tabGradient5;
dockPanelGradient3.EndColor = System.Drawing.SystemColors.ControlLight;
dockPanelGradient3.StartColor = System.Drawing.SystemColors.ControlLight;
dockPaneStripToolWindowGradient1.DockStripGradient = dockPanelGradient3;
tabGradient6.EndColor = System.Drawing.SystemColors.InactiveCaption;
tabGradient6.LinearGradientMode = System.Drawing.Drawing2D.LinearGradientMode.Vertical;
tabGradient6.StartColor = System.Drawing.SystemColors.GradientInactiveCaption;
tabGradient6.TextColor = System.Drawing.SystemColors.InactiveCaptionText;
dockPaneStripToolWindowGradient1.InactiveCaptionGradient = tabGradient6;
tabGradient7.EndColor = System.Drawing.Color.Transparent;
tabGradient7.StartColor = System.Drawing.Color.Transparent;
tabGradient7.TextColor = System.Drawing.SystemColors.ControlDarkDark;
dockPaneStripToolWindowGradient1.InactiveTabGradient = tabGradient7;
dockPaneStripSkin1.ToolWindowGradient = dockPaneStripToolWindowGradient1;
dockPanelSkin1.DockPaneStripSkin = dockPaneStripSkin1;
this.dockPanel.Skin = dockPanelSkin1;
this.dockPanel.TabIndex = 4;
//
// findInSubset076ToolStripMenuItem
//
this.findInSubset076ToolStripMenuItem.Name = "findInSubset076ToolStripMenuItem";
this.findInSubset076ToolStripMenuItem.Size = new System.Drawing.Size(323, 26);
this.findInSubset076ToolStripMenuItem.Text = "Find in Subset076...";
this.findInSubset076ToolStripMenuItem.Click += new System.EventHandler(this.findInSubset076ToolStripMenuItem_Click);
//
// MainWindow
//
this.AutoScaleDimensions = new System.Drawing.SizeF(8F, 16F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(1152, 558);
this.Controls.Add(this.dockPanel);
this.Controls.Add(this.statusStrip);
this.Controls.Add(this.toolStrip);
this.Controls.Add(this.menuStrip);
this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
this.IsMdiContainer = true;
this.MainMenuStrip = this.menuStrip;
this.Margin = new System.Windows.Forms.Padding(4);
this.Name = "MainWindow";
this.Text = "ERTMSFormalSpecs Workbench";
this.WindowState = System.Windows.Forms.FormWindowState.Maximized;
this.menuStrip.ResumeLayout(false);
this.menuStrip.PerformLayout();
this.toolStrip.ResumeLayout(false);
this.toolStrip.PerformLayout();
this.statusStrip.ResumeLayout(false);
this.statusStrip.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
#endregion