namespace BaseCodeApp { partial class ConfigWindow { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; /// /// Clean up any resources being used. /// /// true if managed resources should be disposed; otherwise, false. protected override void Dispose(bool disposing) { if (disposing && (components != null)) { components.Dispose(); } base.Dispose(disposing); } #region Windows Form Designer generated code /// /// Required method for Designer support - do not modify /// the contents of this method with the code editor. /// private void InitializeComponent() { this.components = new System.ComponentModel.Container(); System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ConfigWindow)); this.textBoxRequiredCards = new System.Windows.Forms.TextBox(); this.label1 = new System.Windows.Forms.Label(); this.buttonNewKingdomCards = new System.Windows.Forms.Button(); this.radioButton34Split = new System.Windows.Forms.RadioButton(); this.radioButton25Split = new System.Windows.Forms.RadioButton(); this.checkBoxProsperity = new System.Windows.Forms.CheckBox(); this.label2 = new System.Windows.Forms.Label(); this.label3 = new System.Windows.Forms.Label(); this.label4 = new System.Windows.Forms.Label(); this.panelPlayer1 = new System.Windows.Forms.Panel(); this.panelPlayer2 = new System.Windows.Forms.Panel(); this.comboPlayer1 = new System.Windows.Forms.ComboBox(); this.comboPlayer2 = new System.Windows.Forms.ComboBox(); this.label6 = new System.Windows.Forms.Label(); this.label5 = new System.Windows.Forms.Label(); this.label7 = new System.Windows.Forms.Label(); this.label8 = new System.Windows.Forms.Label(); this.label10 = new System.Windows.Forms.Label(); this.textBoxPlayer1Estate = new System.Windows.Forms.TextBox(); this.label11 = new System.Windows.Forms.Label(); this.textBoxPlayer1Duchy = new System.Windows.Forms.TextBox(); this.label12 = new System.Windows.Forms.Label(); this.textBoxPlayer1Province = new System.Windows.Forms.TextBox(); this.label13 = new System.Windows.Forms.Label(); this.label14 = new System.Windows.Forms.Label(); this.label15 = new System.Windows.Forms.Label(); this.textBoxPlayer2Estate = new System.Windows.Forms.TextBox(); this.textBoxPlayer2Province = new System.Windows.Forms.TextBox(); this.textBoxPlayer2Duchy = new System.Windows.Forms.TextBox(); this.buttonCompareAIs = new System.Windows.Forms.Button(); this.buttonPlayer1Reset = new System.Windows.Forms.Button(); this.buttonPlayer2Reset = new System.Windows.Forms.Button(); this.textBoxShorthand = new System.Windows.Forms.TextBox(); this.label16 = new System.Windows.Forms.Label(); this.buttonShorthand1 = new System.Windows.Forms.Button(); this.buttonShorthand2 = new System.Windows.Forms.Button(); this.labelResult = new System.Windows.Forms.Label(); this.buttonRunTournament = new System.Windows.Forms.Button(); this.buttonLoadAIFile = new System.Windows.Forms.Button(); this.label9 = new System.Windows.Forms.Label(); this.textBoxGenerations = new System.Windows.Forms.TextBox(); this.buttonVisualizeAll = new System.Windows.Forms.Button(); this.label17 = new System.Windows.Forms.Label(); this.textBoxChambers = new System.Windows.Forms.TextBox(); this.groupBox1 = new System.Windows.Forms.GroupBox(); this.labelLeaderboard = new System.Windows.Forms.Label(); this.buttonShowLeaderboard = new System.Windows.Forms.Button(); this.buttonLoadAndVisualize = new System.Windows.Forms.Button(); this.groupBox2 = new System.Windows.Forms.GroupBox(); this.openFileDialog = new System.Windows.Forms.OpenFileDialog(); this.groupBox3 = new System.Windows.Forms.GroupBox(); this.checkBoxCustomizeAI = new System.Windows.Forms.CheckBox(); this.buttonNewGame = new System.Windows.Forms.Button(); this.labelSampleGameInfo = new System.Windows.Forms.Label(); this.pictureBoxOccluder = new System.Windows.Forms.PictureBox(); this.label18 = new System.Windows.Forms.Label(); this.label19 = new System.Windows.Forms.Label(); this.label20 = new System.Windows.Forms.Label(); this.label21 = new System.Windows.Forms.Label(); this.label22 = new System.Windows.Forms.Label(); this.label23 = new System.Windows.Forms.Label(); this.label24 = new System.Windows.Forms.Label(); this.label25 = new System.Windows.Forms.Label(); this.label26 = new System.Windows.Forms.Label(); this.label27 = new System.Windows.Forms.Label(); this.label28 = new System.Windows.Forms.Label(); this.label29 = new System.Windows.Forms.Label(); this.label30 = new System.Windows.Forms.Label(); this.label31 = new System.Windows.Forms.Label(); this.label32 = new System.Windows.Forms.Label(); this.timerCheckProgress = new System.Windows.Forms.Timer(this.components); this.label33 = new System.Windows.Forms.Label(); this.labelLink = new System.Windows.Forms.Label(); this.groupBox1.SuspendLayout(); this.groupBox2.SuspendLayout(); this.groupBox3.SuspendLayout(); ((System.ComponentModel.ISupportInitialize)(this.pictureBoxOccluder)).BeginInit(); this.SuspendLayout(); // // textBoxRequiredCards // this.textBoxRequiredCards.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxRequiredCards.Location = new System.Drawing.Point(170, 11); this.textBoxRequiredCards.Margin = new System.Windows.Forms.Padding(4); this.textBoxRequiredCards.Name = "textBoxRequiredCards"; this.textBoxRequiredCards.Size = new System.Drawing.Size(562, 27); this.textBoxRequiredCards.TabIndex = 14; // // label1 // this.label1.AutoSize = true; this.label1.Font = new System.Drawing.Font("Calibri", 15.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label1.Location = new System.Drawing.Point(13, 12); this.label1.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0); this.label1.Name = "label1"; this.label1.Size = new System.Drawing.Size(152, 26); this.label1.TabIndex = 13; this.label1.Text = "Required cards: "; // // buttonNewKingdomCards // this.buttonNewKingdomCards.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonNewKingdomCards.Location = new System.Drawing.Point(291, 70); this.buttonNewKingdomCards.Name = "buttonNewKingdomCards"; this.buttonNewKingdomCards.Size = new System.Drawing.Size(161, 34); this.buttonNewKingdomCards.TabIndex = 15; this.buttonNewKingdomCards.Text = "New Kingdom Cards"; this.buttonNewKingdomCards.UseVisualStyleBackColor = true; this.buttonNewKingdomCards.Click += new System.EventHandler(this.buttonNewKingdomCards_Click); // // radioButton34Split // this.radioButton34Split.AutoSize = true; this.radioButton34Split.Checked = true; this.radioButton34Split.Location = new System.Drawing.Point(244, 47); this.radioButton34Split.Margin = new System.Windows.Forms.Padding(4); this.radioButton34Split.Name = "radioButton34Split"; this.radioButton34Split.Size = new System.Drawing.Size(83, 23); this.radioButton34Split.TabIndex = 16; this.radioButton34Split.TabStop = true; this.radioButton34Split.Text = "3-4 Split"; this.radioButton34Split.UseVisualStyleBackColor = true; // // radioButton25Split // this.radioButton25Split.AutoSize = true; this.radioButton25Split.Location = new System.Drawing.Point(335, 49); this.radioButton25Split.Margin = new System.Windows.Forms.Padding(4); this.radioButton25Split.Name = "radioButton25Split"; this.radioButton25Split.Size = new System.Drawing.Size(83, 23); this.radioButton25Split.TabIndex = 16; this.radioButton25Split.Text = "2-5 Split"; this.radioButton25Split.UseVisualStyleBackColor = true; // // checkBoxProsperity // this.checkBoxProsperity.AutoSize = true; this.checkBoxProsperity.Location = new System.Drawing.Point(425, 50); this.checkBoxProsperity.Name = "checkBoxProsperity"; this.checkBoxProsperity.Size = new System.Drawing.Size(99, 23); this.checkBoxProsperity.TabIndex = 17; this.checkBoxProsperity.Text = "Prosperity"; this.checkBoxProsperity.UseVisualStyleBackColor = true; // // label2 // this.label2.AutoSize = true; this.label2.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label2.Location = new System.Drawing.Point(24, 49); this.label2.Name = "label2"; this.label2.Size = new System.Drawing.Size(195, 19); this.label2.TabIndex = 18; this.label2.Text = "Separate cards with commas"; // // label3 // this.label3.AutoSize = true; this.label3.Font = new System.Drawing.Font("Calibri", 15.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label3.Location = new System.Drawing.Point(11, 89); this.label3.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0); this.label3.Name = "label3"; this.label3.Size = new System.Drawing.Size(158, 26); this.label3.TabIndex = 13; this.label3.Text = "Player 1 (Adam):"; // // label4 // this.label4.AutoSize = true; this.label4.Font = new System.Drawing.Font("Calibri", 15.75F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label4.Location = new System.Drawing.Point(388, 89); this.label4.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0); this.label4.Name = "label4"; this.label4.Size = new System.Drawing.Size(148, 26); this.label4.TabIndex = 13; this.label4.Text = "Player 2 (Beth):"; // // panelPlayer1 // this.panelPlayer1.Font = new System.Drawing.Font("Calibri", 11.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.panelPlayer1.Location = new System.Drawing.Point(16, 170); this.panelPlayer1.Name = "panelPlayer1"; this.panelPlayer1.Size = new System.Drawing.Size(346, 412); this.panelPlayer1.TabIndex = 19; // // panelPlayer2 // this.panelPlayer2.Font = new System.Drawing.Font("Calibri", 11.25F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.panelPlayer2.Location = new System.Drawing.Point(385, 172); this.panelPlayer2.Name = "panelPlayer2"; this.panelPlayer2.Size = new System.Drawing.Size(346, 410); this.panelPlayer2.TabIndex = 19; // // comboPlayer1 // this.comboPlayer1.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; this.comboPlayer1.FormattingEnabled = true; this.comboPlayer1.Location = new System.Drawing.Point(16, 118); this.comboPlayer1.Name = "comboPlayer1"; this.comboPlayer1.Size = new System.Drawing.Size(346, 27); this.comboPlayer1.TabIndex = 21; this.comboPlayer1.SelectedIndexChanged += new System.EventHandler(this.comboPlayer1_SelectedIndexChanged); // // comboPlayer2 // this.comboPlayer2.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList; this.comboPlayer2.FormattingEnabled = true; this.comboPlayer2.Location = new System.Drawing.Point(385, 118); this.comboPlayer2.Name = "comboPlayer2"; this.comboPlayer2.Size = new System.Drawing.Size(346, 27); this.comboPlayer2.TabIndex = 21; this.comboPlayer2.SelectedIndexChanged += new System.EventHandler(this.comboPlayer2_SelectedIndexChanged); // // label6 // this.label6.AutoSize = true; this.label6.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label6.Location = new System.Drawing.Point(296, 148); this.label6.Name = "label6"; this.label6.Size = new System.Drawing.Size(65, 19); this.label6.TabIndex = 20; this.label6.Text = "Quantity"; // // label5 // this.label5.AutoSize = true; this.label5.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label5.Location = new System.Drawing.Point(12, 148); this.label5.Name = "label5"; this.label5.Size = new System.Drawing.Size(39, 19); this.label5.TabIndex = 20; this.label5.Text = "Card"; // // label7 // this.label7.AutoSize = true; this.label7.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label7.Location = new System.Drawing.Point(381, 148); this.label7.Name = "label7"; this.label7.Size = new System.Drawing.Size(39, 19); this.label7.TabIndex = 20; this.label7.Text = "Card"; // // label8 // this.label8.AutoSize = true; this.label8.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label8.Location = new System.Drawing.Point(665, 148); this.label8.Name = "label8"; this.label8.Size = new System.Drawing.Size(65, 19); this.label8.TabIndex = 20; this.label8.Text = "Quantity"; // // label10 // this.label10.AutoSize = true; this.label10.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label10.Location = new System.Drawing.Point(24, 600); this.label10.Name = "label10"; this.label10.Size = new System.Drawing.Size(95, 19); this.label10.TabIndex = 20; this.label10.Text = "Estate cutoff:"; // // textBoxPlayer1Estate // this.textBoxPlayer1Estate.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer1Estate.Location = new System.Drawing.Point(125, 596); this.textBoxPlayer1Estate.Name = "textBoxPlayer1Estate"; this.textBoxPlayer1Estate.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer1Estate.TabIndex = 22; this.textBoxPlayer1Estate.TextChanged += new System.EventHandler(this.textBoxPlayer1_TextChanged); // // label11 // this.label11.AutoSize = true; this.label11.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label11.Location = new System.Drawing.Point(24, 638); this.label11.Name = "label11"; this.label11.Size = new System.Drawing.Size(94, 19); this.label11.TabIndex = 20; this.label11.Text = "Duchy cutoff:"; // // textBoxPlayer1Duchy // this.textBoxPlayer1Duchy.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer1Duchy.Location = new System.Drawing.Point(125, 634); this.textBoxPlayer1Duchy.Name = "textBoxPlayer1Duchy"; this.textBoxPlayer1Duchy.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer1Duchy.TabIndex = 22; this.textBoxPlayer1Duchy.TextChanged += new System.EventHandler(this.textBoxPlayer1_TextChanged); // // label12 // this.label12.AutoSize = true; this.label12.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label12.Location = new System.Drawing.Point(182, 600); this.label12.Name = "label12"; this.label12.Size = new System.Drawing.Size(109, 19); this.label12.TabIndex = 20; this.label12.Text = "Province cutoff:"; // // textBoxPlayer1Province // this.textBoxPlayer1Province.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer1Province.Location = new System.Drawing.Point(297, 596); this.textBoxPlayer1Province.Name = "textBoxPlayer1Province"; this.textBoxPlayer1Province.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer1Province.TabIndex = 22; this.textBoxPlayer1Province.TextChanged += new System.EventHandler(this.textBoxPlayer1_TextChanged); // // label13 // this.label13.AutoSize = true; this.label13.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label13.Location = new System.Drawing.Point(396, 600); this.label13.Name = "label13"; this.label13.Size = new System.Drawing.Size(95, 19); this.label13.TabIndex = 20; this.label13.Text = "Estate cutoff:"; // // label14 // this.label14.AutoSize = true; this.label14.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label14.Location = new System.Drawing.Point(396, 634); this.label14.Name = "label14"; this.label14.Size = new System.Drawing.Size(94, 19); this.label14.TabIndex = 20; this.label14.Text = "Duchy cutoff:"; // // label15 // this.label15.AutoSize = true; this.label15.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label15.Location = new System.Drawing.Point(554, 600); this.label15.Name = "label15"; this.label15.Size = new System.Drawing.Size(109, 19); this.label15.TabIndex = 20; this.label15.Text = "Province cutoff:"; // // textBoxPlayer2Estate // this.textBoxPlayer2Estate.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer2Estate.Location = new System.Drawing.Point(497, 596); this.textBoxPlayer2Estate.Name = "textBoxPlayer2Estate"; this.textBoxPlayer2Estate.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer2Estate.TabIndex = 22; this.textBoxPlayer2Estate.TextChanged += new System.EventHandler(this.textBoxPlayer2_TextChanged); // // textBoxPlayer2Province // this.textBoxPlayer2Province.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer2Province.Location = new System.Drawing.Point(669, 596); this.textBoxPlayer2Province.Name = "textBoxPlayer2Province"; this.textBoxPlayer2Province.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer2Province.TabIndex = 22; this.textBoxPlayer2Province.TextChanged += new System.EventHandler(this.textBoxPlayer2_TextChanged); // // textBoxPlayer2Duchy // this.textBoxPlayer2Duchy.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxPlayer2Duchy.Location = new System.Drawing.Point(497, 630); this.textBoxPlayer2Duchy.Name = "textBoxPlayer2Duchy"; this.textBoxPlayer2Duchy.Size = new System.Drawing.Size(51, 27); this.textBoxPlayer2Duchy.TabIndex = 22; this.textBoxPlayer2Duchy.TextChanged += new System.EventHandler(this.textBoxPlayer2_TextChanged); // // buttonCompareAIs // this.buttonCompareAIs.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonCompareAIs.Location = new System.Drawing.Point(6, 70); this.buttonCompareAIs.Name = "buttonCompareAIs"; this.buttonCompareAIs.Size = new System.Drawing.Size(145, 34); this.buttonCompareAIs.TabIndex = 15; this.buttonCompareAIs.Text = "Compare AIs"; this.buttonCompareAIs.UseVisualStyleBackColor = true; this.buttonCompareAIs.Click += new System.EventHandler(this.buttonCompareAIs_Click); // // buttonPlayer1Reset // this.buttonPlayer1Reset.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonPlayer1Reset.Location = new System.Drawing.Point(186, 631); this.buttonPlayer1Reset.Name = "buttonPlayer1Reset"; this.buttonPlayer1Reset.Size = new System.Drawing.Size(162, 32); this.buttonPlayer1Reset.TabIndex = 15; this.buttonPlayer1Reset.Text = "Reset to Big Money"; this.buttonPlayer1Reset.UseVisualStyleBackColor = true; this.buttonPlayer1Reset.Click += new System.EventHandler(this.buttonPlayer1Reset_Click); // // buttonPlayer2Reset // this.buttonPlayer2Reset.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonPlayer2Reset.Location = new System.Drawing.Point(558, 627); this.buttonPlayer2Reset.Name = "buttonPlayer2Reset"; this.buttonPlayer2Reset.Size = new System.Drawing.Size(162, 32); this.buttonPlayer2Reset.TabIndex = 15; this.buttonPlayer2Reset.Text = "Reset to Big Money"; this.buttonPlayer2Reset.UseVisualStyleBackColor = true; this.buttonPlayer2Reset.Click += new System.EventHandler(this.buttonPlayer2Reset_Click); // // textBoxShorthand // this.textBoxShorthand.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxShorthand.Location = new System.Drawing.Point(85, 35); this.textBoxShorthand.Name = "textBoxShorthand"; this.textBoxShorthand.Size = new System.Drawing.Size(369, 27); this.textBoxShorthand.TabIndex = 23; this.textBoxShorthand.Text = "e4-d5-p8-gold@99|festival@10|ironworks@1|warehouse@1|silver@99"; // // label16 // this.label16.AutoSize = true; this.label16.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label16.Location = new System.Drawing.Point(1, 38); this.label16.Name = "label16"; this.label16.Size = new System.Drawing.Size(78, 19); this.label16.TabIndex = 20; this.label16.Text = "Shorthand:"; // // buttonShorthand1 // this.buttonShorthand1.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonShorthand1.Location = new System.Drawing.Point(174, 69); this.buttonShorthand1.Name = "buttonShorthand1"; this.buttonShorthand1.Size = new System.Drawing.Size(137, 32); this.buttonShorthand1.TabIndex = 24; this.buttonShorthand1.Text = "Load for Player 1"; this.buttonShorthand1.UseVisualStyleBackColor = true; this.buttonShorthand1.Click += new System.EventHandler(this.buttonShorthand1_Click); // // buttonShorthand2 // this.buttonShorthand2.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonShorthand2.Location = new System.Drawing.Point(317, 69); this.buttonShorthand2.Name = "buttonShorthand2"; this.buttonShorthand2.Size = new System.Drawing.Size(137, 32); this.buttonShorthand2.TabIndex = 24; this.buttonShorthand2.Text = "Load for Player 2"; this.buttonShorthand2.UseVisualStyleBackColor = true; this.buttonShorthand2.Click += new System.EventHandler(this.buttonShorthand2_Click); // // labelResult // this.labelResult.AutoSize = true; this.labelResult.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.labelResult.Location = new System.Drawing.Point(6, 38); this.labelResult.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0); this.labelResult.Name = "labelResult"; this.labelResult.Size = new System.Drawing.Size(363, 19); this.labelResult.TabIndex = 13; this.labelResult.Text = "Player 1 wins 50.0% of games with a spread of 0.0%."; // // buttonRunTournament // this.buttonRunTournament.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonRunTournament.Location = new System.Drawing.Point(10, 29); this.buttonRunTournament.Name = "buttonRunTournament"; this.buttonRunTournament.Size = new System.Drawing.Size(141, 34); this.buttonRunTournament.TabIndex = 15; this.buttonRunTournament.Text = "Run Tournament"; this.buttonRunTournament.UseVisualStyleBackColor = true; this.buttonRunTournament.Click += new System.EventHandler(this.buttonRunTournament_Click); // // buttonLoadAIFile // this.buttonLoadAIFile.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonLoadAIFile.Location = new System.Drawing.Point(10, 69); this.buttonLoadAIFile.Name = "buttonLoadAIFile"; this.buttonLoadAIFile.Size = new System.Drawing.Size(141, 34); this.buttonLoadAIFile.TabIndex = 15; this.buttonLoadAIFile.Text = "Load AI File"; this.buttonLoadAIFile.UseVisualStyleBackColor = true; this.buttonLoadAIFile.Click += new System.EventHandler(this.buttonLoadAIFile_Click); // // label9 // this.label9.AutoSize = true; this.label9.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label9.Location = new System.Drawing.Point(165, 37); this.label9.Name = "label9"; this.label9.Size = new System.Drawing.Size(92, 19); this.label9.TabIndex = 20; this.label9.Text = "Generations:"; // // textBoxGenerations // this.textBoxGenerations.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxGenerations.Location = new System.Drawing.Point(263, 34); this.textBoxGenerations.Name = "textBoxGenerations"; this.textBoxGenerations.Size = new System.Drawing.Size(41, 27); this.textBoxGenerations.TabIndex = 23; this.textBoxGenerations.Text = "32"; // // buttonVisualizeAll // this.buttonVisualizeAll.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonVisualizeAll.Location = new System.Drawing.Point(304, 69); this.buttonVisualizeAll.Name = "buttonVisualizeAll"; this.buttonVisualizeAll.Size = new System.Drawing.Size(148, 34); this.buttonVisualizeAll.TabIndex = 15; this.buttonVisualizeAll.Text = "Make Visualizations"; this.buttonVisualizeAll.UseVisualStyleBackColor = true; this.buttonVisualizeAll.Click += new System.EventHandler(this.buttonVisualizeAll_Click); // // label17 // this.label17.AutoSize = true; this.label17.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label17.Location = new System.Drawing.Point(323, 37); this.label17.Name = "label17"; this.label17.Size = new System.Drawing.Size(78, 19); this.label17.TabIndex = 20; this.label17.Text = "Chambers:"; // // textBoxChambers // this.textBoxChambers.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.textBoxChambers.Location = new System.Drawing.Point(407, 34); this.textBoxChambers.Name = "textBoxChambers"; this.textBoxChambers.Size = new System.Drawing.Size(45, 27); this.textBoxChambers.TabIndex = 23; this.textBoxChambers.Text = "1"; // // groupBox1 // this.groupBox1.Controls.Add(this.buttonVisualizeAll); this.groupBox1.Controls.Add(this.buttonRunTournament); this.groupBox1.Controls.Add(this.labelLeaderboard); this.groupBox1.Controls.Add(this.buttonShowLeaderboard); this.groupBox1.Controls.Add(this.textBoxChambers); this.groupBox1.Controls.Add(this.label9); this.groupBox1.Controls.Add(this.textBoxGenerations); this.groupBox1.Controls.Add(this.label17); this.groupBox1.Controls.Add(this.buttonLoadAndVisualize); this.groupBox1.Controls.Add(this.buttonLoadAIFile); this.groupBox1.Location = new System.Drawing.Point(749, 491); this.groupBox1.Name = "groupBox1"; this.groupBox1.Size = new System.Drawing.Size(463, 162); this.groupBox1.TabIndex = 25; this.groupBox1.TabStop = false; this.groupBox1.Text = "Tournament"; // // labelLeaderboard // this.labelLeaderboard.AutoSize = true; this.labelLeaderboard.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.labelLeaderboard.ForeColor = System.Drawing.Color.Blue; this.labelLeaderboard.Location = new System.Drawing.Point(6, 119); this.labelLeaderboard.Name = "labelLeaderboard"; this.labelLeaderboard.Size = new System.Drawing.Size(186, 19); this.labelLeaderboard.TabIndex = 20; this.labelLeaderboard.Text = "No tournament in progress."; // // buttonShowLeaderboard // this.buttonShowLeaderboard.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonShowLeaderboard.Location = new System.Drawing.Point(157, 69); this.buttonShowLeaderboard.Name = "buttonShowLeaderboard"; this.buttonShowLeaderboard.Size = new System.Drawing.Size(141, 34); this.buttonShowLeaderboard.TabIndex = 15; this.buttonShowLeaderboard.Text = "Show Leaderboard"; this.buttonShowLeaderboard.UseVisualStyleBackColor = true; this.buttonShowLeaderboard.Click += new System.EventHandler(this.buttonShowLeaderboard_Click); // // buttonLoadAndVisualize // this.buttonLoadAndVisualize.Enabled = false; this.buttonLoadAndVisualize.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonLoadAndVisualize.Location = new System.Drawing.Point(304, 112); this.buttonLoadAndVisualize.Name = "buttonLoadAndVisualize"; this.buttonLoadAndVisualize.Size = new System.Drawing.Size(148, 34); this.buttonLoadAndVisualize.TabIndex = 15; this.buttonLoadAndVisualize.Text = "Load and Visualize"; this.buttonLoadAndVisualize.UseVisualStyleBackColor = true; this.buttonLoadAndVisualize.Click += new System.EventHandler(this.buttonLoadAndVisualize_Click); // // groupBox2 // this.groupBox2.Controls.Add(this.textBoxShorthand); this.groupBox2.Controls.Add(this.label16); this.groupBox2.Controls.Add(this.buttonShorthand2); this.groupBox2.Controls.Add(this.buttonShorthand1); this.groupBox2.Location = new System.Drawing.Point(28, 170); this.groupBox2.Name = "groupBox2"; this.groupBox2.Size = new System.Drawing.Size(464, 34); this.groupBox2.TabIndex = 0; this.groupBox2.TabStop = false; this.groupBox2.Text = "Advanced"; this.groupBox2.Visible = false; // // openFileDialog // this.openFileDialog.Filter = "Text files|*.txt"; // // groupBox3 // this.groupBox3.Controls.Add(this.checkBoxCustomizeAI); this.groupBox3.Controls.Add(this.buttonNewGame); this.groupBox3.Controls.Add(this.labelSampleGameInfo); this.groupBox3.Controls.Add(this.buttonCompareAIs); this.groupBox3.Controls.Add(this.labelResult); this.groupBox3.Controls.Add(this.buttonNewKingdomCards); this.groupBox3.Location = new System.Drawing.Point(749, 12); this.groupBox3.Name = "groupBox3"; this.groupBox3.Size = new System.Drawing.Size(463, 175); this.groupBox3.TabIndex = 26; this.groupBox3.TabStop = false; this.groupBox3.Text = "General"; // // checkBoxCustomizeAI // this.checkBoxCustomizeAI.AutoSize = true; this.checkBoxCustomizeAI.Location = new System.Drawing.Point(10, 138); this.checkBoxCustomizeAI.Name = "checkBoxCustomizeAI"; this.checkBoxCustomizeAI.Size = new System.Drawing.Size(195, 23); this.checkBoxCustomizeAI.TabIndex = 27; this.checkBoxCustomizeAI.Text = "Customize AI Buy Orders"; this.checkBoxCustomizeAI.UseVisualStyleBackColor = true; this.checkBoxCustomizeAI.CheckedChanged += new System.EventHandler(this.checkBox1_CheckedChanged); // // buttonNewGame // this.buttonNewGame.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.buttonNewGame.Location = new System.Drawing.Point(157, 70); this.buttonNewGame.Name = "buttonNewGame"; this.buttonNewGame.Size = new System.Drawing.Size(128, 34); this.buttonNewGame.TabIndex = 15; this.buttonNewGame.Text = "New Game"; this.buttonNewGame.UseVisualStyleBackColor = true; this.buttonNewGame.Click += new System.EventHandler(this.buttonNewGame_Click); // // labelSampleGameInfo // this.labelSampleGameInfo.AutoSize = true; this.labelSampleGameInfo.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.labelSampleGameInfo.ForeColor = System.Drawing.Color.Blue; this.labelSampleGameInfo.Location = new System.Drawing.Point(6, 114); this.labelSampleGameInfo.Name = "labelSampleGameInfo"; this.labelSampleGameInfo.Size = new System.Drawing.Size(426, 19); this.labelSampleGameInfo.TabIndex = 20; this.labelSampleGameInfo.Text = "The main window contains a sample game between the two AIs."; this.labelSampleGameInfo.Visible = false; // // pictureBoxOccluder // this.pictureBoxOccluder.Location = new System.Drawing.Point(11, 150); this.pictureBoxOccluder.Name = "pictureBoxOccluder"; this.pictureBoxOccluder.Size = new System.Drawing.Size(721, 523); this.pictureBoxOccluder.TabIndex = 27; this.pictureBoxOccluder.TabStop = false; // // label18 // this.label18.AutoSize = true; this.label18.Location = new System.Drawing.Point(744, 253); this.label18.Name = "label18"; this.label18.Size = new System.Drawing.Size(56, 19); this.label18.TabIndex = 28; this.label18.Text = "Step 1."; // // label19 // this.label19.AutoSize = true; this.label19.ForeColor = System.Drawing.Color.Red; this.label19.Location = new System.Drawing.Point(745, 196); this.label19.Name = "label19"; this.label19.Size = new System.Drawing.Size(359, 19); this.label19.TabIndex = 29; this.label19.Text = "The AI cannot play well on arbitrary kingdom piles."; // // label20 // this.label20.AutoSize = true; this.label20.ForeColor = System.Drawing.Color.Black; this.label20.Location = new System.Drawing.Point(745, 217); this.label20.Name = "label20"; this.label20.Size = new System.Drawing.Size(462, 19); this.label20.TabIndex = 29; this.label20.Text = "To play well, it has to first study the cards to come up with tactics."; // // label21 // this.label21.AutoSize = true; this.label21.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label21.Location = new System.Drawing.Point(807, 253); this.label21.Name = "label21"; this.label21.Size = new System.Drawing.Size(412, 19); this.label21.TabIndex = 28; this.label21.Text = "Select a good set of kingdom cards. Use the \"Required Cards\""; // // label22 // this.label22.AutoSize = true; this.label22.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label22.Location = new System.Drawing.Point(807, 272); this.label22.Name = "label22"; this.label22.Size = new System.Drawing.Size(286, 19); this.label22.TabIndex = 28; this.label22.Text = "field and the \"New Kingdom Cards\" button."; // // label23 // this.label23.AutoSize = true; this.label23.Location = new System.Drawing.Point(744, 298); this.label23.Name = "label23"; this.label23.Size = new System.Drawing.Size(56, 19); this.label23.TabIndex = 28; this.label23.Text = "Step 2."; // // label24 // this.label24.AutoSize = true; this.label24.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label24.Location = new System.Drawing.Point(806, 298); this.label24.Name = "label24"; this.label24.Size = new System.Drawing.Size(368, 19); this.label24.TabIndex = 28; this.label24.Text = "Press the \"Run Tournament\" button. This will train new"; // // label25 // this.label25.AutoSize = true; this.label25.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label25.Location = new System.Drawing.Point(806, 317); this.label25.Name = "label25"; this.label25.Size = new System.Drawing.Size(223, 19); this.label25.TabIndex = 28; this.label25.Text = "strategies for the kingdom cards."; // // label26 // this.label26.AutoSize = true; this.label26.Location = new System.Drawing.Point(744, 346); this.label26.Name = "label26"; this.label26.Size = new System.Drawing.Size(56, 19); this.label26.TabIndex = 28; this.label26.Text = "Step 3."; // // label27 // this.label27.AutoSize = true; this.label27.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label27.Location = new System.Drawing.Point(807, 346); this.label27.Name = "label27"; this.label27.Size = new System.Drawing.Size(404, 19); this.label27.TabIndex = 28; this.label27.Text = "Use the \"Load AI File\" button to load the new strategies from"; // // label28 // this.label28.AutoSize = true; this.label28.Location = new System.Drawing.Point(744, 397); this.label28.Name = "label28"; this.label28.Size = new System.Drawing.Size(56, 19); this.label28.TabIndex = 28; this.label28.Text = "Step 4."; // // label29 // this.label29.AutoSize = true; this.label29.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label29.Location = new System.Drawing.Point(807, 397); this.label29.Name = "label29"; this.label29.Size = new System.Drawing.Size(415, 19); this.label29.TabIndex = 28; this.label29.Text = "Use the \"Show Leaderboard\" button to visualize the strategies."; // // label30 // this.label30.AutoSize = true; this.label30.Location = new System.Drawing.Point(744, 427); this.label30.Name = "label30"; this.label30.Size = new System.Drawing.Size(56, 19); this.label30.TabIndex = 28; this.label30.Text = "Step 5."; // // label31 // this.label31.AutoSize = true; this.label31.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label31.Location = new System.Drawing.Point(807, 427); this.label31.Name = "label31"; this.label31.Size = new System.Drawing.Size(382, 19); this.label31.TabIndex = 28; this.label31.Text = "Use the drop-down menus to play against the trained AIs."; // // label32 // this.label32.AutoSize = true; this.label32.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label32.Location = new System.Drawing.Point(807, 365); this.label32.Name = "label32"; this.label32.Size = new System.Drawing.Size(359, 19); this.label32.TabIndex = 28; this.label32.Text = "Dominion\\kingdomsIntermediate\\\\leaderboard"; // // timerCheckProgress // this.timerCheckProgress.Interval = 1000; this.timerCheckProgress.Tick += new System.EventHandler(this.timerCheckProgress_Tick); // // label33 // this.label33.AutoSize = true; this.label33.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.label33.Location = new System.Drawing.Point(744, 456); this.label33.Name = "label33"; this.label33.Size = new System.Drawing.Size(141, 19); this.label33.TabIndex = 28; this.label33.Text = "For more details see"; // // labelLink // this.labelLink.AutoSize = true; this.labelLink.Cursor = System.Windows.Forms.Cursors.Hand; this.labelLink.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Underline, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.labelLink.ForeColor = System.Drawing.Color.Blue; this.labelLink.Location = new System.Drawing.Point(880, 455); this.labelLink.Name = "labelLink"; this.labelLink.Size = new System.Drawing.Size(334, 19); this.labelLink.TabIndex = 28; this.labelLink.Text = "graphics.stanford.edu/~mdfisher/DominionAI.html"; this.labelLink.Click += new System.EventHandler(this.labelLink_Click); // // ConfigWindow // this.AutoScaleDimensions = new System.Drawing.SizeF(8F, 19F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(1231, 682); this.Controls.Add(this.label33); this.Controls.Add(this.label20); this.Controls.Add(this.label19); this.Controls.Add(this.label22); this.Controls.Add(this.label25); this.Controls.Add(this.labelLink); this.Controls.Add(this.label31); this.Controls.Add(this.label29); this.Controls.Add(this.label32); this.Controls.Add(this.label27); this.Controls.Add(this.label24); this.Controls.Add(this.label21); this.Controls.Add(this.label30); this.Controls.Add(this.label28); this.Controls.Add(this.label26); this.Controls.Add(this.label23); this.Controls.Add(this.label18); this.Controls.Add(this.pictureBoxOccluder); this.Controls.Add(this.groupBox3); this.Controls.Add(this.groupBox2); this.Controls.Add(this.groupBox1); this.Controls.Add(this.textBoxPlayer2Duchy); this.Controls.Add(this.textBoxPlayer1Duchy); this.Controls.Add(this.textBoxPlayer2Province); this.Controls.Add(this.textBoxPlayer2Estate); this.Controls.Add(this.textBoxPlayer1Province); this.Controls.Add(this.textBoxPlayer1Estate); this.Controls.Add(this.comboPlayer2); this.Controls.Add(this.comboPlayer1); this.Controls.Add(this.label8); this.Controls.Add(this.label6); this.Controls.Add(this.label15); this.Controls.Add(this.label7); this.Controls.Add(this.label14); this.Controls.Add(this.label12); this.Controls.Add(this.label13); this.Controls.Add(this.label11); this.Controls.Add(this.label10); this.Controls.Add(this.label5); this.Controls.Add(this.panelPlayer2); this.Controls.Add(this.panelPlayer1); this.Controls.Add(this.label2); this.Controls.Add(this.checkBoxProsperity); this.Controls.Add(this.radioButton25Split); this.Controls.Add(this.radioButton34Split); this.Controls.Add(this.buttonPlayer2Reset); this.Controls.Add(this.buttonPlayer1Reset); this.Controls.Add(this.textBoxRequiredCards); this.Controls.Add(this.label4); this.Controls.Add(this.label3); this.Controls.Add(this.label1); this.Font = new System.Drawing.Font("Calibri", 12F, System.Drawing.FontStyle.Bold, System.Drawing.GraphicsUnit.Point, ((byte)(0))); this.FormBorderStyle = System.Windows.Forms.FormBorderStyle.FixedSingle; this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon"))); this.Margin = new System.Windows.Forms.Padding(4); this.MaximizeBox = false; this.Name = "ConfigWindow"; this.Text = "Game Options"; this.FormClosing += new System.Windows.Forms.FormClosingEventHandler(this.ConfigWindow_FormClosing); this.groupBox1.ResumeLayout(false); this.groupBox1.PerformLayout(); this.groupBox2.ResumeLayout(false); this.groupBox2.PerformLayout(); this.groupBox3.ResumeLayout(false); this.groupBox3.PerformLayout(); ((System.ComponentModel.ISupportInitialize)(this.pictureBoxOccluder)).EndInit(); this.ResumeLayout(false); this.PerformLayout(); } #endregion private System.Windows.Forms.TextBox textBoxRequiredCards; private System.Windows.Forms.Label label1; private System.Windows.Forms.Button buttonNewKingdomCards; private System.Windows.Forms.RadioButton radioButton34Split; private System.Windows.Forms.RadioButton radioButton25Split; private System.Windows.Forms.CheckBox checkBoxProsperity; private System.Windows.Forms.Label label2; private System.Windows.Forms.Label label3; private System.Windows.Forms.Label label4; private System.Windows.Forms.Panel panelPlayer1; private System.Windows.Forms.Panel panelPlayer2; private System.Windows.Forms.ComboBox comboPlayer1; private System.Windows.Forms.ComboBox comboPlayer2; private System.Windows.Forms.Label label6; private System.Windows.Forms.Label label5; private System.Windows.Forms.Label label7; private System.Windows.Forms.Label label8; private System.Windows.Forms.Label label10; private System.Windows.Forms.TextBox textBoxPlayer1Estate; private System.Windows.Forms.Label label11; private System.Windows.Forms.TextBox textBoxPlayer1Duchy; private System.Windows.Forms.Label label12; private System.Windows.Forms.TextBox textBoxPlayer1Province; private System.Windows.Forms.Label label13; private System.Windows.Forms.Label label14; private System.Windows.Forms.Label label15; private System.Windows.Forms.TextBox textBoxPlayer2Estate; private System.Windows.Forms.TextBox textBoxPlayer2Province; private System.Windows.Forms.TextBox textBoxPlayer2Duchy; private System.Windows.Forms.Button buttonCompareAIs; private System.Windows.Forms.Button buttonPlayer1Reset; private System.Windows.Forms.Button buttonPlayer2Reset; private System.Windows.Forms.TextBox textBoxShorthand; private System.Windows.Forms.Label label16; private System.Windows.Forms.Button buttonShorthand1; private System.Windows.Forms.Button buttonShorthand2; private System.Windows.Forms.Label labelResult; private System.Windows.Forms.Button buttonRunTournament; private System.Windows.Forms.Button buttonLoadAIFile; private System.Windows.Forms.Label label9; private System.Windows.Forms.TextBox textBoxGenerations; private System.Windows.Forms.Button buttonVisualizeAll; private System.Windows.Forms.Label label17; private System.Windows.Forms.TextBox textBoxChambers; private System.Windows.Forms.GroupBox groupBox1; private System.Windows.Forms.GroupBox groupBox2; private System.Windows.Forms.OpenFileDialog openFileDialog; private System.Windows.Forms.GroupBox groupBox3; private System.Windows.Forms.Button buttonShowLeaderboard; private System.Windows.Forms.Button buttonNewGame; private System.Windows.Forms.Label labelSampleGameInfo; private System.Windows.Forms.CheckBox checkBoxCustomizeAI; private System.Windows.Forms.PictureBox pictureBoxOccluder; private System.Windows.Forms.Label label18; private System.Windows.Forms.Label label19; private System.Windows.Forms.Label label20; private System.Windows.Forms.Label label21; private System.Windows.Forms.Label label22; private System.Windows.Forms.Label label23; private System.Windows.Forms.Label label24; private System.Windows.Forms.Label label25; private System.Windows.Forms.Label label26; private System.Windows.Forms.Label label27; private System.Windows.Forms.Label label28; private System.Windows.Forms.Label label29; private System.Windows.Forms.Label label30; private System.Windows.Forms.Label label31; private System.Windows.Forms.Label labelLeaderboard; private System.Windows.Forms.Button buttonLoadAndVisualize; private System.Windows.Forms.Label label32; private System.Windows.Forms.Timer timerCheckProgress; private System.Windows.Forms.Label label33; private System.Windows.Forms.Label labelLink; } }