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;
}
}