namespace Foundations.Testbed { partial class GUI { /// /// Required designer variable. /// private System.ComponentModel.IContainer components = null; #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(); this.simCrashButton = new System.Windows.Forms.Button(); this.simBox = new System.Windows.Forms.GroupBox(); this.simWorkloadButton = new System.Windows.Forms.Button(); this.label4 = new System.Windows.Forms.Label(); this.label3 = new System.Windows.Forms.Label(); this.simCycleTimesLabel = new System.Windows.Forms.Label(); this.stepButton = new System.Windows.Forms.Button(); this.playButton = new System.Windows.Forms.Button(); this.renderBox = new System.Windows.Forms.GroupBox(); this.renderWorkloadButton = new System.Windows.Forms.Button(); this.label5 = new System.Windows.Forms.Label(); this.label2 = new System.Windows.Forms.Label(); this.renderCycleTimesLabel = new System.Windows.Forms.Label(); this.renderCrashButton = new System.Windows.Forms.Button(); this.renderStepButton = new System.Windows.Forms.Button(); this.renderPlayButton = new System.Windows.Forms.Button(); this.uiBox = new System.Windows.Forms.GroupBox(); this.uiCrashButton = new System.Windows.Forms.Button(); this.timer = new System.Windows.Forms.Timer(this.components); this.groupBox1 = new System.Windows.Forms.GroupBox(); this.label1 = new System.Windows.Forms.Label(); this.idlePlayButton = new System.Windows.Forms.Button(); this.uiCycleTimesLabel = new System.Windows.Forms.Label(); this.idleCrashButton = new System.Windows.Forms.Button(); this.frameLockedCheckbox = new System.Windows.Forms.CheckBox(); this.groupBox2 = new System.Windows.Forms.GroupBox(); this.renderingLabel = new System.Windows.Forms.Label(); this.drawWorkloadButton = new System.Windows.Forms.Button(); this.label6 = new System.Windows.Forms.Label(); this.groupBox3 = new System.Windows.Forms.GroupBox(); this.modifiersCrashButton = new System.Windows.Forms.Button(); this.label7 = new System.Windows.Forms.Label(); this.label8 = new System.Windows.Forms.Label(); this.queriesCrashButton = new System.Windows.Forms.Button(); this.simBox.SuspendLayout(); this.renderBox.SuspendLayout(); this.uiBox.SuspendLayout(); this.groupBox1.SuspendLayout(); this.groupBox2.SuspendLayout(); this.groupBox3.SuspendLayout(); this.SuspendLayout(); // // simCrashButton // this.simCrashButton.Location = new System.Drawing.Point(62, 77); this.simCrashButton.Name = "simCrashButton"; this.simCrashButton.Size = new System.Drawing.Size(75, 23); this.simCrashButton.TabIndex = 4; this.simCrashButton.Text = "crash"; this.simCrashButton.UseVisualStyleBackColor = true; this.simCrashButton.Click += new System.EventHandler(this.simCrashButton_Click); // // simBox // this.simBox.Controls.Add(this.simWorkloadButton); this.simBox.Controls.Add(this.label4); this.simBox.Controls.Add(this.label3); this.simBox.Controls.Add(this.simCycleTimesLabel); this.simBox.Controls.Add(this.stepButton); this.simBox.Controls.Add(this.playButton); this.simBox.Controls.Add(this.simCrashButton); this.simBox.Location = new System.Drawing.Point(12, 12); this.simBox.Name = "simBox"; this.simBox.Size = new System.Drawing.Size(143, 262); this.simBox.TabIndex = 7; this.simBox.TabStop = false; this.simBox.Text = "simulation"; // // simWorkloadButton // this.simWorkloadButton.Location = new System.Drawing.Point(62, 106); this.simWorkloadButton.Name = "simWorkloadButton"; this.simWorkloadButton.Size = new System.Drawing.Size(75, 23); this.simWorkloadButton.TabIndex = 16; this.simWorkloadButton.Text = "unset"; this.simWorkloadButton.UseVisualStyleBackColor = true; this.simWorkloadButton.Click += new System.EventHandler(this.simWorkloadButton_Click); // // label4 // this.label4.AutoSize = true; this.label4.Location = new System.Drawing.Point(9, 111); this.label4.Name = "label4"; this.label4.Size = new System.Drawing.Size(50, 13); this.label4.TabIndex = 15; this.label4.Text = "workload"; // // label3 // this.label3.AutoSize = true; this.label3.Location = new System.Drawing.Point(9, 24); this.label3.Name = "label3"; this.label3.Size = new System.Drawing.Size(47, 13); this.label3.TabIndex = 14; this.label3.Text = "currently"; // // simCycleTimesLabel // this.simCycleTimesLabel.AutoSize = true; this.simCycleTimesLabel.Location = new System.Drawing.Point(6, 246); this.simCycleTimesLabel.Name = "simCycleTimesLabel"; this.simCycleTimesLabel.Size = new System.Drawing.Size(95, 13); this.simCycleTimesLabel.TabIndex = 6; this.simCycleTimesLabel.Text = "sim not yet running"; // // stepButton // this.stepButton.Location = new System.Drawing.Point(62, 48); this.stepButton.Name = "stepButton"; this.stepButton.Size = new System.Drawing.Size(75, 23); this.stepButton.TabIndex = 5; this.stepButton.Text = "step"; this.stepButton.UseVisualStyleBackColor = true; this.stepButton.Click += new System.EventHandler(this.stepButton_Click); // // playButton // this.playButton.Location = new System.Drawing.Point(62, 19); this.playButton.Name = "playButton"; this.playButton.Size = new System.Drawing.Size(75, 23); this.playButton.TabIndex = 3; this.playButton.Text = "unset"; this.playButton.UseVisualStyleBackColor = true; this.playButton.Click += new System.EventHandler(this.playButton_Click); // // renderBox // this.renderBox.Controls.Add(this.renderWorkloadButton); this.renderBox.Controls.Add(this.label5); this.renderBox.Controls.Add(this.label2); this.renderBox.Controls.Add(this.renderCycleTimesLabel); this.renderBox.Controls.Add(this.renderCrashButton); this.renderBox.Controls.Add(this.renderStepButton); this.renderBox.Controls.Add(this.renderPlayButton); this.renderBox.Location = new System.Drawing.Point(161, 12); this.renderBox.Name = "renderBox"; this.renderBox.Size = new System.Drawing.Size(143, 262); this.renderBox.TabIndex = 8; this.renderBox.TabStop = false; this.renderBox.Text = "render"; // // renderWorkloadButton // this.renderWorkloadButton.Location = new System.Drawing.Point(62, 106); this.renderWorkloadButton.Name = "renderWorkloadButton"; this.renderWorkloadButton.Size = new System.Drawing.Size(75, 23); this.renderWorkloadButton.TabIndex = 18; this.renderWorkloadButton.Text = "unset"; this.renderWorkloadButton.UseVisualStyleBackColor = true; this.renderWorkloadButton.Click += new System.EventHandler(this.renderWorkloadButton_Click); // // label5 // this.label5.AutoSize = true; this.label5.Location = new System.Drawing.Point(9, 111); this.label5.Name = "label5"; this.label5.Size = new System.Drawing.Size(50, 13); this.label5.TabIndex = 17; this.label5.Text = "workload"; // // label2 // this.label2.AutoSize = true; this.label2.Location = new System.Drawing.Point(6, 24); this.label2.Name = "label2"; this.label2.Size = new System.Drawing.Size(47, 13); this.label2.TabIndex = 14; this.label2.Text = "currently"; // // renderCycleTimesLabel // this.renderCycleTimesLabel.AutoSize = true; this.renderCycleTimesLabel.Location = new System.Drawing.Point(6, 246); this.renderCycleTimesLabel.Name = "renderCycleTimesLabel"; this.renderCycleTimesLabel.Size = new System.Drawing.Size(110, 13); this.renderCycleTimesLabel.TabIndex = 7; this.renderCycleTimesLabel.Text = "render not yet running"; // // renderCrashButton // this.renderCrashButton.Location = new System.Drawing.Point(62, 77); this.renderCrashButton.Name = "renderCrashButton"; this.renderCrashButton.Size = new System.Drawing.Size(75, 23); this.renderCrashButton.TabIndex = 6; this.renderCrashButton.Text = "crash"; this.renderCrashButton.UseVisualStyleBackColor = true; this.renderCrashButton.Click += new System.EventHandler(this.renderCrashButton_Click); // // renderStepButton // this.renderStepButton.Location = new System.Drawing.Point(62, 48); this.renderStepButton.Name = "renderStepButton"; this.renderStepButton.Size = new System.Drawing.Size(75, 23); this.renderStepButton.TabIndex = 5; this.renderStepButton.Text = "step"; this.renderStepButton.UseVisualStyleBackColor = true; this.renderStepButton.Click += new System.EventHandler(this.renderStepButton_Click); // // renderPlayButton // this.renderPlayButton.Location = new System.Drawing.Point(62, 19); this.renderPlayButton.Name = "renderPlayButton"; this.renderPlayButton.Size = new System.Drawing.Size(75, 23); this.renderPlayButton.TabIndex = 3; this.renderPlayButton.Text = "unset"; this.renderPlayButton.UseVisualStyleBackColor = true; this.renderPlayButton.Click += new System.EventHandler(this.renderPlayButton_Click); // // uiBox // this.uiBox.Controls.Add(this.uiCrashButton); this.uiBox.Location = new System.Drawing.Point(310, 12); this.uiBox.Name = "uiBox"; this.uiBox.Size = new System.Drawing.Size(143, 262); this.uiBox.TabIndex = 8; this.uiBox.TabStop = false; this.uiBox.Text = "Winforms"; // // uiCrashButton // this.uiCrashButton.Location = new System.Drawing.Point(62, 77); this.uiCrashButton.Name = "uiCrashButton"; this.uiCrashButton.Size = new System.Drawing.Size(75, 23); this.uiCrashButton.TabIndex = 7; this.uiCrashButton.Text = "crash"; this.uiCrashButton.UseVisualStyleBackColor = true; this.uiCrashButton.Click += new System.EventHandler(this.uiCrashButton_Click); // // timer // this.timer.Tick += new System.EventHandler(this.timer_Tick); // // groupBox1 // this.groupBox1.Controls.Add(this.drawWorkloadButton); this.groupBox1.Controls.Add(this.label6); this.groupBox1.Controls.Add(this.label1); this.groupBox1.Controls.Add(this.idlePlayButton); this.groupBox1.Controls.Add(this.uiCycleTimesLabel); this.groupBox1.Controls.Add(this.idleCrashButton); this.groupBox1.Controls.Add(this.frameLockedCheckbox); this.groupBox1.Location = new System.Drawing.Point(459, 12); this.groupBox1.Name = "groupBox1"; this.groupBox1.Size = new System.Drawing.Size(143, 262); this.groupBox1.TabIndex = 11; this.groupBox1.TabStop = false; this.groupBox1.Text = "Draw (main thread)"; // // label1 // this.label1.AutoSize = true; this.label1.Location = new System.Drawing.Point(9, 24); this.label1.Name = "label1"; this.label1.Size = new System.Drawing.Size(47, 13); this.label1.TabIndex = 13; this.label1.Text = "currently"; // // idlePlayButton // this.idlePlayButton.Location = new System.Drawing.Point(62, 19); this.idlePlayButton.Name = "idlePlayButton"; this.idlePlayButton.Size = new System.Drawing.Size(75, 23); this.idlePlayButton.TabIndex = 12; this.idlePlayButton.Text = "unset"; this.idlePlayButton.UseVisualStyleBackColor = true; this.idlePlayButton.Click += new System.EventHandler(this.idlePlayButton_Click); // // uiCycleTimesLabel // this.uiCycleTimesLabel.AutoSize = true; this.uiCycleTimesLabel.Location = new System.Drawing.Point(6, 246); this.uiCycleTimesLabel.Name = "uiCycleTimesLabel"; this.uiCycleTimesLabel.Size = new System.Drawing.Size(88, 13); this.uiCycleTimesLabel.TabIndex = 11; this.uiCycleTimesLabel.Text = "ui not yet running"; // // idleCrashButton // this.idleCrashButton.Location = new System.Drawing.Point(62, 77); this.idleCrashButton.Name = "idleCrashButton"; this.idleCrashButton.Size = new System.Drawing.Size(75, 23); this.idleCrashButton.TabIndex = 10; this.idleCrashButton.Text = "crash"; this.idleCrashButton.UseVisualStyleBackColor = true; this.idleCrashButton.Click += new System.EventHandler(this.idleCrashButton_Click); // // frameLockedCheckbox // this.frameLockedCheckbox.AutoSize = true; this.frameLockedCheckbox.Location = new System.Drawing.Point(6, 226); this.frameLockedCheckbox.Name = "frameLockedCheckbox"; this.frameLockedCheckbox.Size = new System.Drawing.Size(87, 17); this.frameLockedCheckbox.TabIndex = 9; this.frameLockedCheckbox.Text = "frame locked"; this.frameLockedCheckbox.UseVisualStyleBackColor = true; this.frameLockedCheckbox.CheckedChanged += new System.EventHandler(this.frameLockedCheckbox_CheckedChanged); // // groupBox2 // this.groupBox2.Controls.Add(this.renderingLabel); this.groupBox2.Location = new System.Drawing.Point(12, 280); this.groupBox2.Name = "groupBox2"; this.groupBox2.Size = new System.Drawing.Size(590, 100); this.groupBox2.TabIndex = 12; this.groupBox2.TabStop = false; this.groupBox2.Text = "Display"; // // renderingLabel // this.renderingLabel.AutoSize = true; this.renderingLabel.Location = new System.Drawing.Point(6, 16); this.renderingLabel.Name = "renderingLabel"; this.renderingLabel.Size = new System.Drawing.Size(104, 13); this.renderingLabel.TabIndex = 10; this.renderingLabel.Text = "Renderer not yet run"; // // drawWorkloadButton // this.drawWorkloadButton.Location = new System.Drawing.Point(62, 106); this.drawWorkloadButton.Name = "drawWorkloadButton"; this.drawWorkloadButton.Size = new System.Drawing.Size(75, 23); this.drawWorkloadButton.TabIndex = 20; this.drawWorkloadButton.Text = "unset"; this.drawWorkloadButton.UseVisualStyleBackColor = true; this.drawWorkloadButton.Click += new System.EventHandler(this.drawWorkloadButton_Click); // // label6 // this.label6.AutoSize = true; this.label6.Location = new System.Drawing.Point(9, 111); this.label6.Name = "label6"; this.label6.Size = new System.Drawing.Size(50, 13); this.label6.TabIndex = 19; this.label6.Text = "workload"; // // groupBox3 // this.groupBox3.Controls.Add(this.queriesCrashButton); this.groupBox3.Controls.Add(this.label8); this.groupBox3.Controls.Add(this.label7); this.groupBox3.Controls.Add(this.modifiersCrashButton); this.groupBox3.Location = new System.Drawing.Point(608, 12); this.groupBox3.Name = "groupBox3"; this.groupBox3.Size = new System.Drawing.Size(143, 262); this.groupBox3.TabIndex = 13; this.groupBox3.TabStop = false; this.groupBox3.Text = "Modifiers and queries"; // // modifiersCrashButton // this.modifiersCrashButton.Location = new System.Drawing.Point(62, 19); this.modifiersCrashButton.Name = "modifiersCrashButton"; this.modifiersCrashButton.Size = new System.Drawing.Size(75, 23); this.modifiersCrashButton.TabIndex = 0; this.modifiersCrashButton.Text = "crash"; this.modifiersCrashButton.UseVisualStyleBackColor = true; this.modifiersCrashButton.Click += new System.EventHandler(this.modifiersCrashButton_Click); // // label7 // this.label7.AutoSize = true; this.label7.Location = new System.Drawing.Point(6, 24); this.label7.Name = "label7"; this.label7.Size = new System.Drawing.Size(48, 13); this.label7.TabIndex = 1; this.label7.Text = "modifiers"; // // label8 // this.label8.AutoSize = true; this.label8.Location = new System.Drawing.Point(6, 53); this.label8.Name = "label8"; this.label8.Size = new System.Drawing.Size(41, 13); this.label8.TabIndex = 2; this.label8.Text = "queries"; // // queriesCrashButton // this.queriesCrashButton.Location = new System.Drawing.Point(62, 48); this.queriesCrashButton.Name = "queriesCrashButton"; this.queriesCrashButton.Size = new System.Drawing.Size(75, 23); this.queriesCrashButton.TabIndex = 3; this.queriesCrashButton.Text = "crash"; this.queriesCrashButton.UseVisualStyleBackColor = true; this.queriesCrashButton.Click += new System.EventHandler(this.queriesCrashButton_Click); // // GUI // this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; this.ClientSize = new System.Drawing.Size(761, 392); this.Controls.Add(this.groupBox3); this.Controls.Add(this.groupBox2); this.Controls.Add(this.groupBox1); this.Controls.Add(this.uiBox); this.Controls.Add(this.renderBox); this.Controls.Add(this.simBox); this.Name = "GUI"; this.Text = "Foundations Testbed"; this.simBox.ResumeLayout(false); this.simBox.PerformLayout(); this.renderBox.ResumeLayout(false); this.renderBox.PerformLayout(); this.uiBox.ResumeLayout(false); this.groupBox1.ResumeLayout(false); this.groupBox1.PerformLayout(); this.groupBox2.ResumeLayout(false); this.groupBox2.PerformLayout(); this.groupBox3.ResumeLayout(false); this.groupBox3.PerformLayout(); this.ResumeLayout(false); } #endregion private System.Windows.Forms.Button simCrashButton; private System.Windows.Forms.GroupBox simBox; private System.Windows.Forms.Button stepButton; private System.Windows.Forms.Button playButton; private System.Windows.Forms.GroupBox renderBox; private System.Windows.Forms.Button renderCrashButton; private System.Windows.Forms.Button renderStepButton; private System.Windows.Forms.Button renderPlayButton; private System.Windows.Forms.GroupBox uiBox; private System.Windows.Forms.Button uiCrashButton; private System.Windows.Forms.Label simCycleTimesLabel; private System.Windows.Forms.Label renderCycleTimesLabel; private System.Windows.Forms.Timer timer; private System.Windows.Forms.GroupBox groupBox1; private System.Windows.Forms.Label uiCycleTimesLabel; private System.Windows.Forms.Button idleCrashButton; private System.Windows.Forms.CheckBox frameLockedCheckbox; private System.Windows.Forms.GroupBox groupBox2; private System.Windows.Forms.Label renderingLabel; private System.Windows.Forms.Button idlePlayButton; private System.Windows.Forms.Label label3; private System.Windows.Forms.Label label2; private System.Windows.Forms.Label label1; private System.Windows.Forms.Button simWorkloadButton; private System.Windows.Forms.Label label4; private System.Windows.Forms.Button renderWorkloadButton; private System.Windows.Forms.Label label5; private System.Windows.Forms.Button drawWorkloadButton; private System.Windows.Forms.Label label6; private System.Windows.Forms.GroupBox groupBox3; private System.Windows.Forms.Label label7; private System.Windows.Forms.Button modifiersCrashButton; private System.Windows.Forms.Button queriesCrashButton; private System.Windows.Forms.Label label8; } }