/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
TextAlgorithms.Properties.Settings settings1 = new TextAlgorithms.Properties.Settings();
this.inputLabel1 = new System.Windows.Forms.Label();
this.inputLabel2 = new System.Windows.Forms.Label();
this.inputTextBox1 = new System.Windows.Forms.TextBox();
this.inputTextBox2 = new System.Windows.Forms.TextBox();
this.levenshteinTextBox = new System.Windows.Forms.TextBox();
this.computeStatsButton = new System.Windows.Forms.Button();
this.levenshteinLabel = new System.Windows.Forms.Label();
this.threeStringGroupBox = new System.Windows.Forms.GroupBox();
this.longestCommonSubsequencesTextBox = new System.Windows.Forms.TextBox();
this.longestCommonSubsequencesLabel = new System.Windows.Forms.Label();
this.longestCommonSubstringsTextBox = new System.Windows.Forms.TextBox();
this.longestCommonSubstringsLabel = new System.Windows.Forms.Label();
this.damerauLevenshteinTextBox = new System.Windows.Forms.TextBox();
this.damerauLevenshteinLabel = new System.Windows.Forms.Label();
this.optimalStringAlignmentTextBox = new System.Windows.Forms.TextBox();
this.optimalStringAlignmentLabel = new System.Windows.Forms.Label();
this.inputGroupBox = new System.Windows.Forms.GroupBox();
this.inputValidatorTextBox3 = new System.Windows.Forms.TextBox();
this.inputValidatorTextBox2 = new System.Windows.Forms.TextBox();
this.inputValidatorTextBox1 = new System.Windows.Forms.TextBox();
this.inputLabel3 = new System.Windows.Forms.Label();
this.inputTextBox3 = new System.Windows.Forms.TextBox();
this.statsTabControl = new System.Windows.Forms.TabControl();
this.tabPage1 = new System.Windows.Forms.TabPage();
this.oneStringGroupBox = new System.Windows.Forms.GroupBox();
this.label1 = new System.Windows.Forms.Label();
this.longestPalindromesTextBox = new System.Windows.Forms.TextBox();
this.stringLengthLabel = new System.Windows.Forms.Label();
this.stringLengthTextBox = new System.Windows.Forms.TextBox();
this.tabPage2 = new System.Windows.Forms.TabPage();
this.tabPage3 = new System.Windows.Forms.TabPage();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.threeStringTodoLabel = new System.Windows.Forms.Label();
this.inputValidatorTextBox = new System.Windows.Forms.TextBox();
this.menuStrip1 = new System.Windows.Forms.MenuStrip();
this.fileMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.exitMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.helpMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.aboutMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.threeStringGroupBox.SuspendLayout();
this.inputGroupBox.SuspendLayout();
this.statsTabControl.SuspendLayout();
this.tabPage1.SuspendLayout();
this.oneStringGroupBox.SuspendLayout();
this.tabPage2.SuspendLayout();
this.tabPage3.SuspendLayout();
this.groupBox1.SuspendLayout();
this.menuStrip1.SuspendLayout();
this.SuspendLayout();
//
// inputLabel1
//
this.inputLabel1.AutoSize = true;
this.inputLabel1.Location = new System.Drawing.Point(13, 32);
this.inputLabel1.Name = "inputLabel1";
this.inputLabel1.Size = new System.Drawing.Size(53, 13);
this.inputLabel1.TabIndex = 0;
this.inputLabel1.Text = "String #1:";
//
// inputLabel2
//
this.inputLabel2.AutoSize = true;
this.inputLabel2.Location = new System.Drawing.Point(13, 98);
this.inputLabel2.Name = "inputLabel2";
this.inputLabel2.Size = new System.Drawing.Size(53, 13);
this.inputLabel2.TabIndex = 1;
this.inputLabel2.Text = "String #2:";
//
// inputTextBox1
//
this.inputTextBox1.Location = new System.Drawing.Point(80, 29);
this.inputTextBox1.Name = "inputTextBox1";
this.inputTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox1.Size = new System.Drawing.Size(494, 20);
this.inputTextBox1.TabIndex = 2;
//
// inputTextBox2
//
this.inputTextBox2.Location = new System.Drawing.Point(80, 95);
this.inputTextBox2.Name = "inputTextBox2";
this.inputTextBox2.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox2.Size = new System.Drawing.Size(494, 20);
this.inputTextBox2.TabIndex = 3;
//
// levenshteinTextBox
//
this.levenshteinTextBox.Enabled = false;
this.levenshteinTextBox.Location = new System.Drawing.Point(204, 21);
this.levenshteinTextBox.Name = "levenshteinTextBox";
this.levenshteinTextBox.ReadOnly = true;
this.levenshteinTextBox.Size = new System.Drawing.Size(352, 20);
this.levenshteinTextBox.TabIndex = 4;
//
// computeStatsButton
//
this.computeStatsButton.Location = new System.Drawing.Point(117, 261);
this.computeStatsButton.Name = "computeStatsButton";
this.computeStatsButton.Size = new System.Drawing.Size(349, 23);
this.computeStatsButton.TabIndex = 6;
this.computeStatsButton.Text = "Compute String Statistics";
this.computeStatsButton.UseVisualStyleBackColor = true;
this.computeStatsButton.Click += new System.EventHandler(this.computeStatsButton_Click);
//
// levenshteinLabel
//
this.levenshteinLabel.AutoSize = true;
this.levenshteinLabel.Location = new System.Drawing.Point(13, 24);
this.levenshteinLabel.Name = "levenshteinLabel";
this.levenshteinLabel.Size = new System.Drawing.Size(188, 13);
this.levenshteinLabel.TabIndex = 7;
this.levenshteinLabel.Text = "Levenshtein distance between strings:";
//
// threeStringGroupBox
//
this.threeStringGroupBox.Controls.Add(this.longestCommonSubsequencesTextBox);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubsequencesLabel);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubstringsTextBox);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubstringsLabel);
this.threeStringGroupBox.Controls.Add(this.damerauLevenshteinTextBox);
this.threeStringGroupBox.Controls.Add(this.damerauLevenshteinLabel);
this.threeStringGroupBox.Controls.Add(this.optimalStringAlignmentTextBox);
this.threeStringGroupBox.Controls.Add(this.optimalStringAlignmentLabel);
this.threeStringGroupBox.Controls.Add(this.levenshteinLabel);
this.threeStringGroupBox.Controls.Add(this.levenshteinTextBox);
this.threeStringGroupBox.Location = new System.Drawing.Point(12, 6);
this.threeStringGroupBox.Name = "threeStringGroupBox";
this.threeStringGroupBox.Size = new System.Drawing.Size(562, 198);
this.threeStringGroupBox.TabIndex = 16;
this.threeStringGroupBox.TabStop = false;
this.threeStringGroupBox.Text = "Two Strings Stats";
//
// longestCommonSubsequencesTextBox
//
this.longestCommonSubsequencesTextBox.AcceptsReturn = true;
this.longestCommonSubsequencesTextBox.Location = new System.Drawing.Point(204, 96);
this.longestCommonSubsequencesTextBox.Multiline = true;
this.longestCommonSubsequencesTextBox.Name = "longestCommonSubsequencesTextBox";
this.longestCommonSubsequencesTextBox.ReadOnly = true;
this.longestCommonSubsequencesTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestCommonSubsequencesTextBox.Size = new System.Drawing.Size(352, 39);
this.longestCommonSubsequencesTextBox.TabIndex = 15;
//
// longestCommonSubsequencesLabel
//
this.longestCommonSubsequencesLabel.AutoSize = true;
this.longestCommonSubsequencesLabel.Location = new System.Drawing.Point(13, 108);
this.longestCommonSubsequencesLabel.Name = "longestCommonSubsequencesLabel";
this.longestCommonSubsequencesLabel.Size = new System.Drawing.Size(169, 13);
this.longestCommonSubsequencesLabel.TabIndex = 14;
this.longestCommonSubsequencesLabel.Text = "Longest common subsequence(s):";
//
// longestCommonSubstringsTextBox
//
this.longestCommonSubstringsTextBox.AcceptsReturn = true;
this.longestCommonSubstringsTextBox.Location = new System.Drawing.Point(204, 141);
this.longestCommonSubstringsTextBox.Multiline = true;
this.longestCommonSubstringsTextBox.Name = "longestCommonSubstringsTextBox";
this.longestCommonSubstringsTextBox.ReadOnly = true;
this.longestCommonSubstringsTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestCommonSubstringsTextBox.Size = new System.Drawing.Size(352, 39);
this.longestCommonSubstringsTextBox.TabIndex = 13;
//
// longestCommonSubstringsLabel
//
this.longestCommonSubstringsLabel.AutoSize = true;
this.longestCommonSubstringsLabel.Location = new System.Drawing.Point(13, 152);
this.longestCommonSubstringsLabel.Name = "longestCommonSubstringsLabel";
this.longestCommonSubstringsLabel.Size = new System.Drawing.Size(147, 13);
this.longestCommonSubstringsLabel.TabIndex = 12;
this.longestCommonSubstringsLabel.Text = "Longest common substring(s):";
//
// damerauLevenshteinTextBox
//
this.damerauLevenshteinTextBox.Enabled = false;
this.damerauLevenshteinTextBox.Location = new System.Drawing.Point(204, 44);
this.damerauLevenshteinTextBox.Name = "damerauLevenshteinTextBox";
this.damerauLevenshteinTextBox.ReadOnly = true;
this.damerauLevenshteinTextBox.Size = new System.Drawing.Size(352, 20);
this.damerauLevenshteinTextBox.TabIndex = 11;
//
// damerauLevenshteinLabel
//
this.damerauLevenshteinLabel.AutoSize = true;
this.damerauLevenshteinLabel.Location = new System.Drawing.Point(13, 47);
this.damerauLevenshteinLabel.Name = "damerauLevenshteinLabel";
this.damerauLevenshteinLabel.Size = new System.Drawing.Size(157, 13);
this.damerauLevenshteinLabel.TabIndex = 10;
this.damerauLevenshteinLabel.Text = "Damerau-Levenshtein distance:";
//
// optimalStringAlignmentTextBox
//
this.optimalStringAlignmentTextBox.Enabled = false;
this.optimalStringAlignmentTextBox.Location = new System.Drawing.Point(204, 70);
this.optimalStringAlignmentTextBox.Name = "optimalStringAlignmentTextBox";
this.optimalStringAlignmentTextBox.ReadOnly = true;
this.optimalStringAlignmentTextBox.Size = new System.Drawing.Size(352, 20);
this.optimalStringAlignmentTextBox.TabIndex = 9;
//
// optimalStringAlignmentLabel
//
this.optimalStringAlignmentLabel.AutoSize = true;
this.optimalStringAlignmentLabel.Location = new System.Drawing.Point(13, 73);
this.optimalStringAlignmentLabel.Name = "optimalStringAlignmentLabel";
this.optimalStringAlignmentLabel.Size = new System.Drawing.Size(164, 13);
this.optimalStringAlignmentLabel.TabIndex = 8;
this.optimalStringAlignmentLabel.Text = "Optimal string alignment distance:";
//
// inputGroupBox
//
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox3);
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox2);
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox1);
this.inputGroupBox.Controls.Add(this.inputLabel3);
this.inputGroupBox.Controls.Add(this.inputTextBox3);
this.inputGroupBox.Controls.Add(this.inputLabel2);
this.inputGroupBox.Controls.Add(this.inputLabel1);
this.inputGroupBox.Controls.Add(this.inputTextBox1);
this.inputGroupBox.Controls.Add(this.inputTextBox2);
this.inputGroupBox.Location = new System.Drawing.Point(12, 38);
this.inputGroupBox.Name = "inputGroupBox";
this.inputGroupBox.Size = new System.Drawing.Size(601, 217);
this.inputGroupBox.TabIndex = 17;
this.inputGroupBox.TabStop = false;
this.inputGroupBox.Text = "Input";
//
// inputValidatorTextBox3
//
this.inputValidatorTextBox3.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox3.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox3.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox3.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox3.Location = new System.Drawing.Point(105, 182);
this.inputValidatorTextBox3.Name = "inputValidatorTextBox3";
this.inputValidatorTextBox3.ReadOnly = true;
this.inputValidatorTextBox3.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox3.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox3.TabIndex = 8;
this.inputValidatorTextBox3.Visible = false;
//
// inputValidatorTextBox2
//
this.inputValidatorTextBox2.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox2.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox2.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox2.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox2.Location = new System.Drawing.Point(105, 121);
this.inputValidatorTextBox2.Name = "inputValidatorTextBox2";
this.inputValidatorTextBox2.ReadOnly = true;
this.inputValidatorTextBox2.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox2.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox2.TabIndex = 7;
this.inputValidatorTextBox2.Visible = false;
//
// inputValidatorTextBox1
//
this.inputValidatorTextBox1.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox1.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox1.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox1.Location = new System.Drawing.Point(105, 55);
this.inputValidatorTextBox1.Name = "inputValidatorTextBox1";
this.inputValidatorTextBox1.ReadOnly = true;
this.inputValidatorTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox1.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox1.TabIndex = 6;
this.inputValidatorTextBox1.Visible = false;
//
// inputLabel3
//
this.inputLabel3.AutoSize = true;
this.inputLabel3.Location = new System.Drawing.Point(13, 159);
this.inputLabel3.Name = "inputLabel3";
this.inputLabel3.Size = new System.Drawing.Size(53, 13);
this.inputLabel3.TabIndex = 4;
this.inputLabel3.Text = "String #3:";
//
// inputTextBox3
//
this.inputTextBox3.Location = new System.Drawing.Point(80, 156);
this.inputTextBox3.Name = "inputTextBox3";
this.inputTextBox3.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox3.Size = new System.Drawing.Size(494, 20);
this.inputTextBox3.TabIndex = 5;
//
// statsTabControl
//
this.statsTabControl.AccessibleName = "";
this.statsTabControl.Controls.Add(this.tabPage1);
this.statsTabControl.Controls.Add(this.tabPage2);
this.statsTabControl.Controls.Add(this.tabPage3);
settings1.Name = "";
settings1.SettingsKey = "";
this.statsTabControl.DataBindings.Add(new System.Windows.Forms.Binding("Text", settings1, "Name", true, System.Windows.Forms.DataSourceUpdateMode.OnPropertyChanged));
this.statsTabControl.Location = new System.Drawing.Point(8, 316);
this.statsTabControl.Name = "statsTabControl";
this.statsTabControl.SelectedIndex = 0;
this.statsTabControl.Size = new System.Drawing.Size(605, 242);
this.statsTabControl.TabIndex = 18;
this.statsTabControl.Text = settings1.Name;
this.statsTabControl.SelectedIndexChanged += new System.EventHandler(this.statsTabControl_SelectionChanged);
//
// tabPage1
//
this.tabPage1.Controls.Add(this.oneStringGroupBox);
this.tabPage1.Location = new System.Drawing.Point(4, 22);
this.tabPage1.Name = "tabPage1";
this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
this.tabPage1.Size = new System.Drawing.Size(597, 216);
this.tabPage1.TabIndex = 0;
this.tabPage1.Text = "One String Stats";
this.tabPage1.UseVisualStyleBackColor = true;
//
// oneStringGroupBox
//
this.oneStringGroupBox.Controls.Add(this.label1);
this.oneStringGroupBox.Controls.Add(this.longestPalindromesTextBox);
this.oneStringGroupBox.Controls.Add(this.stringLengthLabel);
this.oneStringGroupBox.Controls.Add(this.stringLengthTextBox);
this.oneStringGroupBox.Location = new System.Drawing.Point(27, 15);
this.oneStringGroupBox.Name = "oneStringGroupBox";
this.oneStringGroupBox.Size = new System.Drawing.Size(553, 195);
this.oneStringGroupBox.TabIndex = 17;
this.oneStringGroupBox.TabStop = false;
this.oneStringGroupBox.Text = "One Strings Stats";
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(13, 56);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(104, 13);
this.label1.TabIndex = 9;
this.label1.Text = "Longest palindromes";
//
// longestPalindromesTextBox
//
this.longestPalindromesTextBox.AcceptsReturn = true;
this.longestPalindromesTextBox.Location = new System.Drawing.Point(204, 53);
this.longestPalindromesTextBox.Multiline = true;
this.longestPalindromesTextBox.Name = "longestPalindromesTextBox";
this.longestPalindromesTextBox.ReadOnly = true;
this.longestPalindromesTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestPalindromesTextBox.Size = new System.Drawing.Size(343, 36);
this.longestPalindromesTextBox.TabIndex = 8;
//
// stringLengthLabel
//
this.stringLengthLabel.AutoSize = true;
this.stringLengthLabel.Location = new System.Drawing.Point(13, 24);
this.stringLengthLabel.Name = "stringLengthLabel";
this.stringLengthLabel.Size = new System.Drawing.Size(66, 13);
this.stringLengthLabel.TabIndex = 7;
this.stringLengthLabel.Text = "String length";
//
// stringLengthTextBox
//
this.stringLengthTextBox.Enabled = false;
this.stringLengthTextBox.Location = new System.Drawing.Point(204, 21);
this.stringLengthTextBox.Name = "stringLengthTextBox";
this.stringLengthTextBox.ReadOnly = true;
this.stringLengthTextBox.Size = new System.Drawing.Size(343, 20);
this.stringLengthTextBox.TabIndex = 4;
//
// tabPage2
//
this.tabPage2.Controls.Add(this.threeStringGroupBox);
this.tabPage2.Location = new System.Drawing.Point(4, 22);
this.tabPage2.Name = "tabPage2";
this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
this.tabPage2.Size = new System.Drawing.Size(597, 216);
this.tabPage2.TabIndex = 1;
this.tabPage2.Text = "Two String Stats";
this.tabPage2.UseVisualStyleBackColor = true;
//
// tabPage3
//
this.tabPage3.Controls.Add(this.groupBox1);
this.tabPage3.Location = new System.Drawing.Point(4, 22);
this.tabPage3.Name = "tabPage3";
this.tabPage3.Size = new System.Drawing.Size(597, 216);
this.tabPage3.TabIndex = 2;
this.tabPage3.Text = "Three String Stats";
this.tabPage3.UseVisualStyleBackColor = true;
//
// groupBox1
//
this.groupBox1.Controls.Add(this.threeStringTodoLabel);
this.groupBox1.Location = new System.Drawing.Point(27, 13);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(555, 200);
this.groupBox1.TabIndex = 17;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "Three Strings Stats";
//
// threeStringTodoLabel
//
this.threeStringTodoLabel.AutoSize = true;
this.threeStringTodoLabel.Location = new System.Drawing.Point(13, 24);
this.threeStringTodoLabel.Name = "threeStringTodoLabel";
this.threeStringTodoLabel.Size = new System.Drawing.Size(303, 13);
this.threeStringTodoLabel.TabIndex = 7;
this.threeStringTodoLabel.Text = "See my GeneralizedSuffixTree project at github.com/jaycoskey";
//
// inputValidatorTextBox
//
this.inputValidatorTextBox.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox.Location = new System.Drawing.Point(8, 290);
this.inputValidatorTextBox.Name = "inputValidatorTextBox";
this.inputValidatorTextBox.Size = new System.Drawing.Size(601, 13);
this.inputValidatorTextBox.TabIndex = 19;
//
// menuStrip1
//
this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.fileMenuItem,
this.helpMenuItem
});
this.menuStrip1.Location = new System.Drawing.Point(0, 0);
this.menuStrip1.Name = "menuStrip1";
this.menuStrip1.Size = new System.Drawing.Size(625, 24);
this.menuStrip1.TabIndex = 20;
this.menuStrip1.Text = "menuStrip1";
//
// fileMenuItem
//
this.fileMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.exitMenuItem
});
this.fileMenuItem.Name = "fileMenuItem";
this.fileMenuItem.Size = new System.Drawing.Size(37, 20);
this.fileMenuItem.Text = "&File";
//
// exitMenuItem
//
this.exitMenuItem.Name = "exitMenuItem";
this.exitMenuItem.Size = new System.Drawing.Size(92, 22);
this.exitMenuItem.Text = "E&xit";
this.exitMenuItem.Click += new System.EventHandler(this.exitMenuItem_Click);
//
// helpMenuItem
//
this.helpMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.aboutMenuItem
});
this.helpMenuItem.Name = "helpMenuItem";
this.helpMenuItem.Size = new System.Drawing.Size(44, 20);
this.helpMenuItem.Text = "&Help";
//
// aboutMenuItem
//
this.aboutMenuItem.Name = "aboutMenuItem";
this.aboutMenuItem.Size = new System.Drawing.Size(107, 22);
this.aboutMenuItem.Text = "&About";
this.aboutMenuItem.Click += new System.EventHandler(this.aboutMenuItem_Click);
//
// MainForm
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(625, 570);
this.Controls.Add(this.inputValidatorTextBox);
this.Controls.Add(this.statsTabControl);
this.Controls.Add(this.computeStatsButton);
this.Controls.Add(this.inputGroupBox);
this.Controls.Add(this.menuStrip1);
this.MainMenuStrip = this.menuStrip1;
this.Name = "MainForm";
this.Text = "Form1";
this.threeStringGroupBox.ResumeLayout(false);
this.threeStringGroupBox.PerformLayout();
this.inputGroupBox.ResumeLayout(false);
this.inputGroupBox.PerformLayout();
this.statsTabControl.ResumeLayout(false);
this.tabPage1.ResumeLayout(false);
this.oneStringGroupBox.ResumeLayout(false);
this.oneStringGroupBox.PerformLayout();
this.tabPage2.ResumeLayout(false);
this.tabPage3.ResumeLayout(false);
this.groupBox1.ResumeLayout(false);
this.groupBox1.PerformLayout();
this.menuStrip1.ResumeLayout(false);
this.menuStrip1.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
/// <summary>
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
/// </summary>
private void InitializeComponent()
{
TextAlgorithms.Properties.Settings settings1 = new TextAlgorithms.Properties.Settings();
this.inputLabel1 = new System.Windows.Forms.Label();
this.inputLabel2 = new System.Windows.Forms.Label();
this.inputTextBox1 = new System.Windows.Forms.TextBox();
this.inputTextBox2 = new System.Windows.Forms.TextBox();
this.levenshteinTextBox = new System.Windows.Forms.TextBox();
this.computeStatsButton = new System.Windows.Forms.Button();
this.levenshteinLabel = new System.Windows.Forms.Label();
this.threeStringGroupBox = new System.Windows.Forms.GroupBox();
this.longestCommonSubsequencesTextBox = new System.Windows.Forms.TextBox();
this.longestCommonSubsequencesLabel = new System.Windows.Forms.Label();
this.longestCommonSubstringsTextBox = new System.Windows.Forms.TextBox();
this.longestCommonSubstringsLabel = new System.Windows.Forms.Label();
this.damerauLevenshteinTextBox = new System.Windows.Forms.TextBox();
this.damerauLevenshteinLabel = new System.Windows.Forms.Label();
this.optimalStringAlignmentTextBox = new System.Windows.Forms.TextBox();
this.optimalStringAlignmentLabel = new System.Windows.Forms.Label();
this.inputGroupBox = new System.Windows.Forms.GroupBox();
this.inputValidatorTextBox3 = new System.Windows.Forms.TextBox();
this.inputValidatorTextBox2 = new System.Windows.Forms.TextBox();
this.inputValidatorTextBox1 = new System.Windows.Forms.TextBox();
this.inputLabel3 = new System.Windows.Forms.Label();
this.inputTextBox3 = new System.Windows.Forms.TextBox();
this.statsTabControl = new System.Windows.Forms.TabControl();
this.tabPage1 = new System.Windows.Forms.TabPage();
this.oneStringGroupBox = new System.Windows.Forms.GroupBox();
this.label1 = new System.Windows.Forms.Label();
this.longestPalindromesTextBox = new System.Windows.Forms.TextBox();
this.stringLengthLabel = new System.Windows.Forms.Label();
this.stringLengthTextBox = new System.Windows.Forms.TextBox();
this.tabPage2 = new System.Windows.Forms.TabPage();
this.tabPage3 = new System.Windows.Forms.TabPage();
this.groupBox1 = new System.Windows.Forms.GroupBox();
this.threeStringTodoLabel = new System.Windows.Forms.Label();
this.inputValidatorTextBox = new System.Windows.Forms.TextBox();
this.menuStrip1 = new System.Windows.Forms.MenuStrip();
this.fileMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.exitMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.helpMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.aboutMenuItem = new System.Windows.Forms.ToolStripMenuItem();
this.threeStringGroupBox.SuspendLayout();
this.inputGroupBox.SuspendLayout();
this.statsTabControl.SuspendLayout();
this.tabPage1.SuspendLayout();
this.oneStringGroupBox.SuspendLayout();
this.tabPage2.SuspendLayout();
this.tabPage3.SuspendLayout();
this.groupBox1.SuspendLayout();
this.menuStrip1.SuspendLayout();
this.SuspendLayout();
//
// inputLabel1
//
this.inputLabel1.AutoSize = true;
this.inputLabel1.Location = new System.Drawing.Point(13, 32);
this.inputLabel1.Name = "inputLabel1";
this.inputLabel1.Size = new System.Drawing.Size(53, 13);
this.inputLabel1.TabIndex = 0;
this.inputLabel1.Text = "String #1:";
//
// inputLabel2
//
this.inputLabel2.AutoSize = true;
this.inputLabel2.Location = new System.Drawing.Point(13, 98);
this.inputLabel2.Name = "inputLabel2";
this.inputLabel2.Size = new System.Drawing.Size(53, 13);
this.inputLabel2.TabIndex = 1;
this.inputLabel2.Text = "String #2:";
//
// inputTextBox1
//
this.inputTextBox1.Location = new System.Drawing.Point(80, 29);
this.inputTextBox1.Name = "inputTextBox1";
this.inputTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox1.Size = new System.Drawing.Size(494, 20);
this.inputTextBox1.TabIndex = 2;
//
// inputTextBox2
//
this.inputTextBox2.Location = new System.Drawing.Point(80, 95);
this.inputTextBox2.Name = "inputTextBox2";
this.inputTextBox2.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox2.Size = new System.Drawing.Size(494, 20);
this.inputTextBox2.TabIndex = 3;
//
// levenshteinTextBox
//
this.levenshteinTextBox.Enabled = false;
this.levenshteinTextBox.Location = new System.Drawing.Point(204, 21);
this.levenshteinTextBox.Name = "levenshteinTextBox";
this.levenshteinTextBox.ReadOnly = true;
this.levenshteinTextBox.Size = new System.Drawing.Size(352, 20);
this.levenshteinTextBox.TabIndex = 4;
//
// computeStatsButton
//
this.computeStatsButton.Location = new System.Drawing.Point(117, 261);
this.computeStatsButton.Name = "computeStatsButton";
this.computeStatsButton.Size = new System.Drawing.Size(349, 23);
this.computeStatsButton.TabIndex = 6;
this.computeStatsButton.Text = "Compute String Statistics";
this.computeStatsButton.UseVisualStyleBackColor = true;
this.computeStatsButton.Click += new System.EventHandler(this.computeStatsButton_Click);
//
// levenshteinLabel
//
this.levenshteinLabel.AutoSize = true;
this.levenshteinLabel.Location = new System.Drawing.Point(13, 24);
this.levenshteinLabel.Name = "levenshteinLabel";
this.levenshteinLabel.Size = new System.Drawing.Size(188, 13);
this.levenshteinLabel.TabIndex = 7;
this.levenshteinLabel.Text = "Levenshtein distance between strings:";
//
// threeStringGroupBox
//
this.threeStringGroupBox.Controls.Add(this.longestCommonSubsequencesTextBox);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubsequencesLabel);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubstringsTextBox);
this.threeStringGroupBox.Controls.Add(this.longestCommonSubstringsLabel);
this.threeStringGroupBox.Controls.Add(this.damerauLevenshteinTextBox);
this.threeStringGroupBox.Controls.Add(this.damerauLevenshteinLabel);
this.threeStringGroupBox.Controls.Add(this.optimalStringAlignmentTextBox);
this.threeStringGroupBox.Controls.Add(this.optimalStringAlignmentLabel);
this.threeStringGroupBox.Controls.Add(this.levenshteinLabel);
this.threeStringGroupBox.Controls.Add(this.levenshteinTextBox);
this.threeStringGroupBox.Location = new System.Drawing.Point(12, 6);
this.threeStringGroupBox.Name = "threeStringGroupBox";
this.threeStringGroupBox.Size = new System.Drawing.Size(562, 198);
this.threeStringGroupBox.TabIndex = 16;
this.threeStringGroupBox.TabStop = false;
this.threeStringGroupBox.Text = "Two Strings Stats";
//
// longestCommonSubsequencesTextBox
//
this.longestCommonSubsequencesTextBox.AcceptsReturn = true;
this.longestCommonSubsequencesTextBox.Location = new System.Drawing.Point(204, 96);
this.longestCommonSubsequencesTextBox.Multiline = true;
this.longestCommonSubsequencesTextBox.Name = "longestCommonSubsequencesTextBox";
this.longestCommonSubsequencesTextBox.ReadOnly = true;
this.longestCommonSubsequencesTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestCommonSubsequencesTextBox.Size = new System.Drawing.Size(352, 39);
this.longestCommonSubsequencesTextBox.TabIndex = 15;
//
// longestCommonSubsequencesLabel
//
this.longestCommonSubsequencesLabel.AutoSize = true;
this.longestCommonSubsequencesLabel.Location = new System.Drawing.Point(13, 108);
this.longestCommonSubsequencesLabel.Name = "longestCommonSubsequencesLabel";
this.longestCommonSubsequencesLabel.Size = new System.Drawing.Size(169, 13);
this.longestCommonSubsequencesLabel.TabIndex = 14;
this.longestCommonSubsequencesLabel.Text = "Longest common subsequence(s):";
//
// longestCommonSubstringsTextBox
//
this.longestCommonSubstringsTextBox.AcceptsReturn = true;
this.longestCommonSubstringsTextBox.Location = new System.Drawing.Point(204, 141);
this.longestCommonSubstringsTextBox.Multiline = true;
this.longestCommonSubstringsTextBox.Name = "longestCommonSubstringsTextBox";
this.longestCommonSubstringsTextBox.ReadOnly = true;
this.longestCommonSubstringsTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestCommonSubstringsTextBox.Size = new System.Drawing.Size(352, 39);
this.longestCommonSubstringsTextBox.TabIndex = 13;
//
// longestCommonSubstringsLabel
//
this.longestCommonSubstringsLabel.AutoSize = true;
this.longestCommonSubstringsLabel.Location = new System.Drawing.Point(13, 152);
this.longestCommonSubstringsLabel.Name = "longestCommonSubstringsLabel";
this.longestCommonSubstringsLabel.Size = new System.Drawing.Size(147, 13);
this.longestCommonSubstringsLabel.TabIndex = 12;
this.longestCommonSubstringsLabel.Text = "Longest common substring(s):";
//
// damerauLevenshteinTextBox
//
this.damerauLevenshteinTextBox.Enabled = false;
this.damerauLevenshteinTextBox.Location = new System.Drawing.Point(204, 44);
this.damerauLevenshteinTextBox.Name = "damerauLevenshteinTextBox";
this.damerauLevenshteinTextBox.ReadOnly = true;
this.damerauLevenshteinTextBox.Size = new System.Drawing.Size(352, 20);
this.damerauLevenshteinTextBox.TabIndex = 11;
//
// damerauLevenshteinLabel
//
this.damerauLevenshteinLabel.AutoSize = true;
this.damerauLevenshteinLabel.Location = new System.Drawing.Point(13, 47);
this.damerauLevenshteinLabel.Name = "damerauLevenshteinLabel";
this.damerauLevenshteinLabel.Size = new System.Drawing.Size(157, 13);
this.damerauLevenshteinLabel.TabIndex = 10;
this.damerauLevenshteinLabel.Text = "Damerau-Levenshtein distance:";
//
// optimalStringAlignmentTextBox
//
this.optimalStringAlignmentTextBox.Enabled = false;
this.optimalStringAlignmentTextBox.Location = new System.Drawing.Point(204, 70);
this.optimalStringAlignmentTextBox.Name = "optimalStringAlignmentTextBox";
this.optimalStringAlignmentTextBox.ReadOnly = true;
this.optimalStringAlignmentTextBox.Size = new System.Drawing.Size(352, 20);
this.optimalStringAlignmentTextBox.TabIndex = 9;
//
// optimalStringAlignmentLabel
//
this.optimalStringAlignmentLabel.AutoSize = true;
this.optimalStringAlignmentLabel.Location = new System.Drawing.Point(13, 73);
this.optimalStringAlignmentLabel.Name = "optimalStringAlignmentLabel";
this.optimalStringAlignmentLabel.Size = new System.Drawing.Size(164, 13);
this.optimalStringAlignmentLabel.TabIndex = 8;
this.optimalStringAlignmentLabel.Text = "Optimal string alignment distance:";
//
// inputGroupBox
//
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox3);
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox2);
this.inputGroupBox.Controls.Add(this.inputValidatorTextBox1);
this.inputGroupBox.Controls.Add(this.inputLabel3);
this.inputGroupBox.Controls.Add(this.inputTextBox3);
this.inputGroupBox.Controls.Add(this.inputLabel2);
this.inputGroupBox.Controls.Add(this.inputLabel1);
this.inputGroupBox.Controls.Add(this.inputTextBox1);
this.inputGroupBox.Controls.Add(this.inputTextBox2);
this.inputGroupBox.Location = new System.Drawing.Point(12, 38);
this.inputGroupBox.Name = "inputGroupBox";
this.inputGroupBox.Size = new System.Drawing.Size(601, 217);
this.inputGroupBox.TabIndex = 17;
this.inputGroupBox.TabStop = false;
this.inputGroupBox.Text = "Input";
//
// inputValidatorTextBox3
//
this.inputValidatorTextBox3.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox3.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox3.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox3.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox3.Location = new System.Drawing.Point(105, 182);
this.inputValidatorTextBox3.Name = "inputValidatorTextBox3";
this.inputValidatorTextBox3.ReadOnly = true;
this.inputValidatorTextBox3.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox3.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox3.TabIndex = 8;
this.inputValidatorTextBox3.Visible = false;
//
// inputValidatorTextBox2
//
this.inputValidatorTextBox2.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox2.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox2.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox2.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox2.Location = new System.Drawing.Point(105, 121);
this.inputValidatorTextBox2.Name = "inputValidatorTextBox2";
this.inputValidatorTextBox2.ReadOnly = true;
this.inputValidatorTextBox2.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox2.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox2.TabIndex = 7;
this.inputValidatorTextBox2.Visible = false;
//
// inputValidatorTextBox1
//
this.inputValidatorTextBox1.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox1.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox1.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox1.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox1.Location = new System.Drawing.Point(105, 55);
this.inputValidatorTextBox1.Name = "inputValidatorTextBox1";
this.inputValidatorTextBox1.ReadOnly = true;
this.inputValidatorTextBox1.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputValidatorTextBox1.Size = new System.Drawing.Size(469, 13);
this.inputValidatorTextBox1.TabIndex = 6;
this.inputValidatorTextBox1.Visible = false;
//
// inputLabel3
//
this.inputLabel3.AutoSize = true;
this.inputLabel3.Location = new System.Drawing.Point(13, 159);
this.inputLabel3.Name = "inputLabel3";
this.inputLabel3.Size = new System.Drawing.Size(53, 13);
this.inputLabel3.TabIndex = 4;
this.inputLabel3.Text = "String #3:";
//
// inputTextBox3
//
this.inputTextBox3.Location = new System.Drawing.Point(80, 156);
this.inputTextBox3.Name = "inputTextBox3";
this.inputTextBox3.ScrollBars = System.Windows.Forms.ScrollBars.Horizontal;
this.inputTextBox3.Size = new System.Drawing.Size(494, 20);
this.inputTextBox3.TabIndex = 5;
//
// statsTabControl
//
this.statsTabControl.AccessibleName = "";
this.statsTabControl.Controls.Add(this.tabPage1);
this.statsTabControl.Controls.Add(this.tabPage2);
this.statsTabControl.Controls.Add(this.tabPage3);
settings1.Name = "";
settings1.SettingsKey = "";
this.statsTabControl.DataBindings.Add(new System.Windows.Forms.Binding("Text", settings1, "Name", true, System.Windows.Forms.DataSourceUpdateMode.OnPropertyChanged));
this.statsTabControl.Location = new System.Drawing.Point(8, 316);
this.statsTabControl.Name = "statsTabControl";
this.statsTabControl.SelectedIndex = 0;
this.statsTabControl.Size = new System.Drawing.Size(605, 242);
this.statsTabControl.TabIndex = 18;
this.statsTabControl.Text = settings1.Name;
this.statsTabControl.SelectedIndexChanged += new System.EventHandler(this.statsTabControl_SelectionChanged);
//
// tabPage1
//
this.tabPage1.Controls.Add(this.oneStringGroupBox);
this.tabPage1.Location = new System.Drawing.Point(4, 22);
this.tabPage1.Name = "tabPage1";
this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
this.tabPage1.Size = new System.Drawing.Size(597, 216);
this.tabPage1.TabIndex = 0;
this.tabPage1.Text = "One String Stats";
this.tabPage1.UseVisualStyleBackColor = true;
//
// oneStringGroupBox
//
this.oneStringGroupBox.Controls.Add(this.label1);
this.oneStringGroupBox.Controls.Add(this.longestPalindromesTextBox);
this.oneStringGroupBox.Controls.Add(this.stringLengthLabel);
this.oneStringGroupBox.Controls.Add(this.stringLengthTextBox);
this.oneStringGroupBox.Location = new System.Drawing.Point(27, 15);
this.oneStringGroupBox.Name = "oneStringGroupBox";
this.oneStringGroupBox.Size = new System.Drawing.Size(553, 195);
this.oneStringGroupBox.TabIndex = 17;
this.oneStringGroupBox.TabStop = false;
this.oneStringGroupBox.Text = "One Strings Stats";
//
// label1
//
this.label1.AutoSize = true;
this.label1.Location = new System.Drawing.Point(13, 56);
this.label1.Name = "label1";
this.label1.Size = new System.Drawing.Size(104, 13);
this.label1.TabIndex = 9;
this.label1.Text = "Longest palindromes";
//
// longestPalindromesTextBox
//
this.longestPalindromesTextBox.AcceptsReturn = true;
this.longestPalindromesTextBox.Location = new System.Drawing.Point(204, 53);
this.longestPalindromesTextBox.Multiline = true;
this.longestPalindromesTextBox.Name = "longestPalindromesTextBox";
this.longestPalindromesTextBox.ReadOnly = true;
this.longestPalindromesTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
this.longestPalindromesTextBox.Size = new System.Drawing.Size(343, 36);
this.longestPalindromesTextBox.TabIndex = 8;
//
// stringLengthLabel
//
this.stringLengthLabel.AutoSize = true;
this.stringLengthLabel.Location = new System.Drawing.Point(13, 24);
this.stringLengthLabel.Name = "stringLengthLabel";
this.stringLengthLabel.Size = new System.Drawing.Size(66, 13);
this.stringLengthLabel.TabIndex = 7;
this.stringLengthLabel.Text = "String length";
//
// stringLengthTextBox
//
this.stringLengthTextBox.Enabled = false;
this.stringLengthTextBox.Location = new System.Drawing.Point(204, 21);
this.stringLengthTextBox.Name = "stringLengthTextBox";
this.stringLengthTextBox.ReadOnly = true;
this.stringLengthTextBox.Size = new System.Drawing.Size(343, 20);
this.stringLengthTextBox.TabIndex = 4;
//
// tabPage2
//
this.tabPage2.Controls.Add(this.threeStringGroupBox);
this.tabPage2.Location = new System.Drawing.Point(4, 22);
this.tabPage2.Name = "tabPage2";
this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
this.tabPage2.Size = new System.Drawing.Size(597, 216);
this.tabPage2.TabIndex = 1;
this.tabPage2.Text = "Two String Stats";
this.tabPage2.UseVisualStyleBackColor = true;
//
// tabPage3
//
this.tabPage3.Controls.Add(this.groupBox1);
this.tabPage3.Location = new System.Drawing.Point(4, 22);
this.tabPage3.Name = "tabPage3";
this.tabPage3.Size = new System.Drawing.Size(597, 216);
this.tabPage3.TabIndex = 2;
this.tabPage3.Text = "Three String Stats";
this.tabPage3.UseVisualStyleBackColor = true;
//
// groupBox1
//
this.groupBox1.Controls.Add(this.threeStringTodoLabel);
this.groupBox1.Location = new System.Drawing.Point(27, 13);
this.groupBox1.Name = "groupBox1";
this.groupBox1.Size = new System.Drawing.Size(555, 200);
this.groupBox1.TabIndex = 17;
this.groupBox1.TabStop = false;
this.groupBox1.Text = "Three Strings Stats";
//
// threeStringTodoLabel
//
this.threeStringTodoLabel.AutoSize = true;
this.threeStringTodoLabel.Location = new System.Drawing.Point(13, 24);
this.threeStringTodoLabel.Name = "threeStringTodoLabel";
this.threeStringTodoLabel.Size = new System.Drawing.Size(303, 13);
this.threeStringTodoLabel.TabIndex = 7;
this.threeStringTodoLabel.Text = "See my GeneralizedSuffixTree project at github.com/jaycoskey";
//
// inputValidatorTextBox
//
this.inputValidatorTextBox.BackColor = System.Drawing.SystemColors.Control;
this.inputValidatorTextBox.BorderStyle = System.Windows.Forms.BorderStyle.None;
this.inputValidatorTextBox.Font = new System.Drawing.Font("Microsoft Sans Serif", 8.25F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
this.inputValidatorTextBox.ForeColor = System.Drawing.Color.Red;
this.inputValidatorTextBox.Location = new System.Drawing.Point(8, 290);
this.inputValidatorTextBox.Name = "inputValidatorTextBox";
this.inputValidatorTextBox.Size = new System.Drawing.Size(601, 13);
this.inputValidatorTextBox.TabIndex = 19;
//
// menuStrip1
//
this.menuStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.fileMenuItem,
this.helpMenuItem});
this.menuStrip1.Location = new System.Drawing.Point(0, 0);
this.menuStrip1.Name = "menuStrip1";
this.menuStrip1.Size = new System.Drawing.Size(625, 24);
this.menuStrip1.TabIndex = 20;
this.menuStrip1.Text = "menuStrip1";
//
// fileMenuItem
//
this.fileMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.exitMenuItem});
this.fileMenuItem.Name = "fileMenuItem";
this.fileMenuItem.Size = new System.Drawing.Size(37, 20);
this.fileMenuItem.Text = "&File";
//
// exitMenuItem
//
this.exitMenuItem.Name = "exitMenuItem";
this.exitMenuItem.Size = new System.Drawing.Size(92, 22);
this.exitMenuItem.Text = "E&xit";
this.exitMenuItem.Click += new System.EventHandler(this.exitMenuItem_Click);
//
// helpMenuItem
//
this.helpMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
this.aboutMenuItem});
this.helpMenuItem.Name = "helpMenuItem";
this.helpMenuItem.Size = new System.Drawing.Size(44, 20);
this.helpMenuItem.Text = "&Help";
//
// aboutMenuItem
//
this.aboutMenuItem.Name = "aboutMenuItem";
this.aboutMenuItem.Size = new System.Drawing.Size(107, 22);
this.aboutMenuItem.Text = "&About";
this.aboutMenuItem.Click += new System.EventHandler(this.aboutMenuItem_Click);
//
// MainForm
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.ClientSize = new System.Drawing.Size(625, 570);
this.Controls.Add(this.inputValidatorTextBox);
this.Controls.Add(this.statsTabControl);
this.Controls.Add(this.computeStatsButton);
this.Controls.Add(this.inputGroupBox);
this.Controls.Add(this.menuStrip1);
this.MainMenuStrip = this.menuStrip1;
this.Name = "MainForm";
this.Text = "Form1";
this.threeStringGroupBox.ResumeLayout(false);
this.threeStringGroupBox.PerformLayout();
this.inputGroupBox.ResumeLayout(false);
this.inputGroupBox.PerformLayout();
this.statsTabControl.ResumeLayout(false);
this.tabPage1.ResumeLayout(false);
this.oneStringGroupBox.ResumeLayout(false);
this.oneStringGroupBox.PerformLayout();
this.tabPage2.ResumeLayout(false);
this.tabPage3.ResumeLayout(false);
this.groupBox1.ResumeLayout(false);
this.groupBox1.PerformLayout();
this.menuStrip1.ResumeLayout(false);
this.menuStrip1.PerformLayout();
this.ResumeLayout(false);
this.PerformLayout();
}
