namespace HeuristicLab.Clients.Hive.Views {
partial class HiveJobView {
///
/// 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 Component Designer generated code
///
/// Required method for Designer support - do not modify
/// the contents of this method with the code editor.
///
private void InitializeComponent() {
System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveJobView));
this.logTabPage = new System.Windows.Forms.TabPage();
this.logView = new HeuristicLab.Core.Views.LogView();
this.stateLogTabPage = new System.Windows.Forms.TabPage();
this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
this.runsTabPage = new System.Windows.Forms.TabPage();
this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
this.detailsTabPage = new System.Windows.Forms.TabPage();
this.restartButton = new System.Windows.Forms.Button();
this.pauseButton = new System.Windows.Forms.Button();
this.stopButton = new System.Windows.Forms.Button();
this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
this.showOptimizerButton = new System.Windows.Forms.Button();
this.lastUpdatedTextBox = new System.Windows.Forms.TextBox();
this.lastUpdatedLabel = new System.Windows.Forms.Label();
this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
this.configurationGroupBox = new System.Windows.Forms.GroupBox();
this.priorityTextBox = new System.Windows.Forms.TextBox();
this.priorityLabel = new System.Windows.Forms.Label();
this.coresNeededTextBox = new System.Windows.Forms.TextBox();
this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
this.memoryNeededLabel = new System.Windows.Forms.Label();
this.coresNeededLabel = new System.Windows.Forms.Label();
this.computeInParallelLabel = new System.Windows.Forms.Label();
this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
this.jobIdLabel = new System.Windows.Forms.Label();
this.jobIdTextBox = new System.Windows.Forms.TextBox();
this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
this.stateTextBox = new System.Windows.Forms.TextBox();
this.dateCalculatedLabel = new System.Windows.Forms.Label();
this.stateLabel = new System.Windows.Forms.Label();
this.dateCalculatedText = new System.Windows.Forms.TextBox();
this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
this.executionTimeTextBox = new System.Windows.Forms.TextBox();
this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
this.executionTimeLabel = new System.Windows.Forms.Label();
this.exceptionLabel = new System.Windows.Forms.Label();
this.dateCreatedLabel = new System.Windows.Forms.Label();
this.dateFinishedLabel = new System.Windows.Forms.Label();
this.exceptionTextBox = new System.Windows.Forms.TextBox();
this.tabControl = new System.Windows.Forms.TabControl();
this.splitContainer1 = new System.Windows.Forms.SplitContainer();
this.logTabPage.SuspendLayout();
this.stateLogTabPage.SuspendLayout();
this.runsTabPage.SuspendLayout();
this.detailsTabPage.SuspendLayout();
this.optimizerGroupBox.SuspendLayout();
this.configurationGroupBox.SuspendLayout();
this.jobStatusGroupBox.SuspendLayout();
this.tabControl.SuspendLayout();
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
this.splitContainer1.Panel1.SuspendLayout();
this.splitContainer1.Panel2.SuspendLayout();
this.splitContainer1.SuspendLayout();
this.SuspendLayout();
//
// logTabPage
//
this.logTabPage.Controls.Add(this.logView);
this.logTabPage.Location = new System.Drawing.Point(4, 22);
this.logTabPage.Name = "logTabPage";
this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
this.logTabPage.Size = new System.Drawing.Size(611, 492);
this.logTabPage.TabIndex = 1;
this.logTabPage.Text = "Log";
this.logTabPage.UseVisualStyleBackColor = true;
//
// logView
//
this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.logView.Caption = "Log View";
this.logView.Content = null;
this.logView.Location = new System.Drawing.Point(3, 3);
this.logView.Name = "logView";
this.logView.ReadOnly = false;
this.logView.Size = new System.Drawing.Size(613, 486);
this.logView.TabIndex = 0;
//
// stateLogTabPage
//
this.stateLogTabPage.Controls.Add(this.stateLogViewHost);
this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
this.stateLogTabPage.Name = "stateLogTabPage";
this.stateLogTabPage.Size = new System.Drawing.Size(611, 492);
this.stateLogTabPage.TabIndex = 5;
this.stateLogTabPage.Text = "State";
this.stateLogTabPage.UseVisualStyleBackColor = true;
//
// stateLogViewHost
//
this.stateLogViewHost.Caption = "View";
this.stateLogViewHost.Content = null;
this.stateLogViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
this.stateLogViewHost.Enabled = false;
this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
this.stateLogViewHost.Name = "stateLogViewHost";
this.stateLogViewHost.ReadOnly = false;
this.stateLogViewHost.Size = new System.Drawing.Size(611, 492);
this.stateLogViewHost.TabIndex = 0;
this.stateLogViewHost.ViewsLabelVisible = true;
this.stateLogViewHost.ViewType = null;
//
// runsTabPage
//
this.runsTabPage.Controls.Add(this.runCollectionViewHost);
this.runsTabPage.Location = new System.Drawing.Point(4, 22);
this.runsTabPage.Name = "runsTabPage";
this.runsTabPage.Size = new System.Drawing.Size(611, 492);
this.runsTabPage.TabIndex = 4;
this.runsTabPage.Text = "Runs";
this.runsTabPage.UseVisualStyleBackColor = true;
//
// runCollectionViewHost
//
this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.runCollectionViewHost.Caption = "View";
this.runCollectionViewHost.Content = null;
this.runCollectionViewHost.Enabled = false;
this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
this.runCollectionViewHost.Name = "runCollectionViewHost";
this.runCollectionViewHost.ReadOnly = false;
this.runCollectionViewHost.Size = new System.Drawing.Size(613, 486);
this.runCollectionViewHost.TabIndex = 0;
this.runCollectionViewHost.ViewsLabelVisible = true;
this.runCollectionViewHost.ViewType = null;
//
// detailsTabPage
//
this.detailsTabPage.Controls.Add(this.splitContainer1);
this.detailsTabPage.Controls.Add(this.restartButton);
this.detailsTabPage.Controls.Add(this.pauseButton);
this.detailsTabPage.Controls.Add(this.stopButton);
this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
this.detailsTabPage.Controls.Add(this.jobIdLabel);
this.detailsTabPage.Controls.Add(this.jobIdTextBox);
this.detailsTabPage.Location = new System.Drawing.Point(4, 22);
this.detailsTabPage.Name = "detailsTabPage";
this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
this.detailsTabPage.Size = new System.Drawing.Size(563, 375);
this.detailsTabPage.TabIndex = 0;
this.detailsTabPage.Text = "Details";
this.detailsTabPage.UseVisualStyleBackColor = true;
//
// restartButton
//
this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
this.restartButton.Location = new System.Drawing.Point(3, 348);
this.restartButton.Name = "restartButton";
this.restartButton.Size = new System.Drawing.Size(24, 24);
this.restartButton.TabIndex = 30;
this.restartButton.UseVisualStyleBackColor = true;
this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
//
// pauseButton
//
this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.pauseButton.Enabled = false;
this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
this.pauseButton.Location = new System.Drawing.Point(33, 348);
this.pauseButton.Name = "pauseButton";
this.pauseButton.Size = new System.Drawing.Size(24, 24);
this.pauseButton.TabIndex = 31;
this.pauseButton.UseVisualStyleBackColor = true;
this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
//
// stopButton
//
this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
this.stopButton.Location = new System.Drawing.Point(63, 348);
this.stopButton.Name = "stopButton";
this.stopButton.Size = new System.Drawing.Size(24, 24);
this.stopButton.TabIndex = 32;
this.stopButton.UseVisualStyleBackColor = true;
this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
//
// optimizerGroupBox
//
this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.optimizerGroupBox.Controls.Add(this.showOptimizerButton);
this.optimizerGroupBox.Controls.Add(this.lastUpdatedTextBox);
this.optimizerGroupBox.Controls.Add(this.lastUpdatedLabel);
this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
this.optimizerGroupBox.Name = "optimizerGroupBox";
this.optimizerGroupBox.Size = new System.Drawing.Size(551, 129);
this.optimizerGroupBox.TabIndex = 28;
this.optimizerGroupBox.TabStop = false;
this.optimizerGroupBox.Text = "Optimizer";
//
// showOptimizerButton
//
this.showOptimizerButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.showOptimizerButton.Location = new System.Drawing.Point(78, 99);
this.showOptimizerButton.Name = "showOptimizerButton";
this.showOptimizerButton.Size = new System.Drawing.Size(467, 23);
this.showOptimizerButton.TabIndex = 3;
this.showOptimizerButton.Text = "Show Optimizer";
this.showOptimizerButton.UseVisualStyleBackColor = true;
this.showOptimizerButton.Click += new System.EventHandler(this.showOptimizerButton_Click);
//
// lastUpdatedTextBox
//
this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.lastUpdatedTextBox.Location = new System.Drawing.Point(78, 73);
this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
this.lastUpdatedTextBox.Size = new System.Drawing.Size(467, 20);
this.lastUpdatedTextBox.TabIndex = 2;
//
// lastUpdatedLabel
//
this.lastUpdatedLabel.AutoSize = true;
this.lastUpdatedLabel.Location = new System.Drawing.Point(9, 76);
this.lastUpdatedLabel.Name = "lastUpdatedLabel";
this.lastUpdatedLabel.Size = new System.Drawing.Size(71, 13);
this.lastUpdatedLabel.TabIndex = 1;
this.lastUpdatedLabel.Text = "LastUpdated:";
//
// optimizerNamedItemView
//
this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.optimizerNamedItemView.Caption = "NamedItem View";
this.optimizerNamedItemView.Content = null;
this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
this.optimizerNamedItemView.Name = "optimizerNamedItemView";
this.optimizerNamedItemView.ReadOnly = false;
this.optimizerNamedItemView.Size = new System.Drawing.Size(539, 51);
this.optimizerNamedItemView.TabIndex = 0;
//
// configurationGroupBox
//
this.configurationGroupBox.Controls.Add(this.priorityTextBox);
this.configurationGroupBox.Controls.Add(this.priorityLabel);
this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
this.configurationGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.configurationGroupBox.Location = new System.Drawing.Point(0, 0);
this.configurationGroupBox.Name = "configurationGroupBox";
this.configurationGroupBox.Size = new System.Drawing.Size(275, 155);
this.configurationGroupBox.TabIndex = 27;
this.configurationGroupBox.TabStop = false;
this.configurationGroupBox.Text = "Configuration";
//
// priorityTextBox
//
this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
this.priorityTextBox.Name = "priorityTextBox";
this.priorityTextBox.Size = new System.Drawing.Size(161, 20);
this.priorityTextBox.TabIndex = 41;
//
// priorityLabel
//
this.priorityLabel.AutoSize = true;
this.priorityLabel.Location = new System.Drawing.Point(7, 66);
this.priorityLabel.Name = "priorityLabel";
this.priorityLabel.Size = new System.Drawing.Size(41, 13);
this.priorityLabel.TabIndex = 42;
this.priorityLabel.Text = "Priority:";
//
// coresNeededTextBox
//
this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
this.coresNeededTextBox.Name = "coresNeededTextBox";
this.coresNeededTextBox.Size = new System.Drawing.Size(161, 20);
this.coresNeededTextBox.TabIndex = 37;
//
// memoryNeededTextBox
//
this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
this.memoryNeededTextBox.Name = "memoryNeededTextBox";
this.memoryNeededTextBox.Size = new System.Drawing.Size(161, 20);
this.memoryNeededTextBox.TabIndex = 38;
//
// memoryNeededLabel
//
this.memoryNeededLabel.AutoSize = true;
this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
this.memoryNeededLabel.Name = "memoryNeededLabel";
this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
this.memoryNeededLabel.TabIndex = 40;
this.memoryNeededLabel.Text = "MemoryNeeded:";
//
// coresNeededLabel
//
this.coresNeededLabel.AutoSize = true;
this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
this.coresNeededLabel.Name = "coresNeededLabel";
this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
this.coresNeededLabel.TabIndex = 39;
this.coresNeededLabel.Text = "CoresNeeded:";
//
// computeInParallelLabel
//
this.computeInParallelLabel.AutoSize = true;
this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
this.computeInParallelLabel.Name = "computeInParallelLabel";
this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
this.computeInParallelLabel.TabIndex = 36;
this.computeInParallelLabel.Text = "ComputeInParallel:";
//
// computeInParallelCheckBox
//
this.computeInParallelCheckBox.AutoSize = true;
this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
this.computeInParallelCheckBox.TabIndex = 35;
this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
//
// jobIdLabel
//
this.jobIdLabel.AutoSize = true;
this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
this.jobIdLabel.Name = "jobIdLabel";
this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
this.jobIdLabel.TabIndex = 25;
this.jobIdLabel.Text = "JobId:";
//
// jobIdTextBox
//
this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
this.jobIdTextBox.Name = "jobIdTextBox";
this.jobIdTextBox.Size = new System.Drawing.Size(466, 20);
this.jobIdTextBox.TabIndex = 26;
//
// jobStatusGroupBox
//
this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
this.jobStatusGroupBox.Controls.Add(this.stateLabel);
this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
this.jobStatusGroupBox.Name = "jobStatusGroupBox";
this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 155);
this.jobStatusGroupBox.TabIndex = 24;
this.jobStatusGroupBox.TabStop = false;
this.jobStatusGroupBox.Text = "Job Status";
//
// stateTextBox
//
this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.stateTextBox.Location = new System.Drawing.Point(95, 19);
this.stateTextBox.Name = "stateTextBox";
this.stateTextBox.Size = new System.Drawing.Size(171, 20);
this.stateTextBox.TabIndex = 2;
//
// dateCalculatedLabel
//
this.dateCalculatedLabel.AutoSize = true;
this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
this.dateCalculatedLabel.Name = "dateCalculatedLabel";
this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
this.dateCalculatedLabel.TabIndex = 23;
this.dateCalculatedLabel.Text = "DateCalculated:";
//
// stateLabel
//
this.stateLabel.AutoSize = true;
this.stateLabel.Location = new System.Drawing.Point(7, 19);
this.stateLabel.Name = "stateLabel";
this.stateLabel.Size = new System.Drawing.Size(35, 13);
this.stateLabel.TabIndex = 0;
this.stateLabel.Text = "State:";
//
// dateCalculatedText
//
this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
this.dateCalculatedText.Name = "dateCalculatedText";
this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
this.dateCalculatedText.TabIndex = 22;
//
// dateFinishedTextBox
//
this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
this.dateFinishedTextBox.Name = "dateFinishedTextBox";
this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
this.dateFinishedTextBox.TabIndex = 6;
//
// executionTimeTextBox
//
this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
this.executionTimeTextBox.Name = "executionTimeTextBox";
this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
this.executionTimeTextBox.TabIndex = 4;
//
// dateCreatedTextBox
//
this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
this.dateCreatedTextBox.Name = "dateCreatedTextBox";
this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
this.dateCreatedTextBox.TabIndex = 5;
//
// executionTimeLabel
//
this.executionTimeLabel.AutoSize = true;
this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
this.executionTimeLabel.Name = "executionTimeLabel";
this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
this.executionTimeLabel.TabIndex = 13;
this.executionTimeLabel.Text = "ExecutionTime:";
//
// exceptionLabel
//
this.exceptionLabel.AutoSize = true;
this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
this.exceptionLabel.Name = "exceptionLabel";
this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
this.exceptionLabel.TabIndex = 19;
this.exceptionLabel.Text = "Exception:";
//
// dateCreatedLabel
//
this.dateCreatedLabel.AutoSize = true;
this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
this.dateCreatedLabel.Name = "dateCreatedLabel";
this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
this.dateCreatedLabel.TabIndex = 14;
this.dateCreatedLabel.Text = "DateCreated:";
//
// dateFinishedLabel
//
this.dateFinishedLabel.AutoSize = true;
this.dateFinishedLabel.Location = new System.Drawing.Point(7, 107);
this.dateFinishedLabel.Name = "dateFinishedLabel";
this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
this.dateFinishedLabel.TabIndex = 15;
this.dateFinishedLabel.Text = "DateFinished:";
//
// exceptionTextBox
//
this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
this.exceptionTextBox.Name = "exceptionTextBox";
this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
this.exceptionTextBox.TabIndex = 10;
this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
//
// tabControl
//
this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
| System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.tabControl.Controls.Add(this.detailsTabPage);
this.tabControl.Controls.Add(this.stateLogTabPage);
this.tabControl.Controls.Add(this.runsTabPage);
this.tabControl.Controls.Add(this.logTabPage);
this.tabControl.Location = new System.Drawing.Point(3, 3);
this.tabControl.Name = "tabControl";
this.tabControl.SelectedIndex = 0;
this.tabControl.Size = new System.Drawing.Size(571, 401);
this.tabControl.TabIndex = 25;
//
// splitContainer1
//
this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
| System.Windows.Forms.AnchorStyles.Right)));
this.splitContainer1.Location = new System.Drawing.Point(6, 164);
this.splitContainer1.Name = "splitContainer1";
//
// splitContainer1.Panel1
//
this.splitContainer1.Panel1.Controls.Add(this.configurationGroupBox);
//
// splitContainer1.Panel2
//
this.splitContainer1.Panel2.Controls.Add(this.jobStatusGroupBox);
this.splitContainer1.Size = new System.Drawing.Size(551, 155);
this.splitContainer1.SplitterDistance = 275;
this.splitContainer1.TabIndex = 33;
//
// HiveJobView
//
this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
this.Controls.Add(this.tabControl);
this.Name = "HiveJobView";
this.Size = new System.Drawing.Size(577, 407);
this.logTabPage.ResumeLayout(false);
this.stateLogTabPage.ResumeLayout(false);
this.runsTabPage.ResumeLayout(false);
this.detailsTabPage.ResumeLayout(false);
this.detailsTabPage.PerformLayout();
this.optimizerGroupBox.ResumeLayout(false);
this.optimizerGroupBox.PerformLayout();
this.configurationGroupBox.ResumeLayout(false);
this.configurationGroupBox.PerformLayout();
this.jobStatusGroupBox.ResumeLayout(false);
this.jobStatusGroupBox.PerformLayout();
this.tabControl.ResumeLayout(false);
this.splitContainer1.Panel1.ResumeLayout(false);
this.splitContainer1.Panel2.ResumeLayout(false);
((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
this.splitContainer1.ResumeLayout(false);
this.ResumeLayout(false);
}
#endregion
private System.Windows.Forms.TabPage logTabPage;
private Core.Views.LogView logView;
private System.Windows.Forms.TabPage stateLogTabPage;
private MainForm.WindowsForms.ViewHost stateLogViewHost;
private System.Windows.Forms.TabPage runsTabPage;
private MainForm.WindowsForms.ViewHost runCollectionViewHost;
private System.Windows.Forms.TabPage detailsTabPage;
private System.Windows.Forms.GroupBox optimizerGroupBox;
private Core.Views.NamedItemView optimizerNamedItemView;
private System.Windows.Forms.GroupBox configurationGroupBox;
private System.Windows.Forms.TextBox priorityTextBox;
private System.Windows.Forms.Label priorityLabel;
private System.Windows.Forms.TextBox coresNeededTextBox;
private System.Windows.Forms.TextBox memoryNeededTextBox;
private System.Windows.Forms.Label memoryNeededLabel;
private System.Windows.Forms.Label coresNeededLabel;
private System.Windows.Forms.Label computeInParallelLabel;
private System.Windows.Forms.CheckBox computeInParallelCheckBox;
private System.Windows.Forms.Label jobIdLabel;
private System.Windows.Forms.TextBox jobIdTextBox;
private System.Windows.Forms.GroupBox jobStatusGroupBox;
private System.Windows.Forms.TextBox stateTextBox;
private System.Windows.Forms.Label stateLabel;
private System.Windows.Forms.TextBox dateFinishedTextBox;
private System.Windows.Forms.TextBox executionTimeTextBox;
private System.Windows.Forms.Label executionTimeLabel;
private System.Windows.Forms.Label exceptionLabel;
private System.Windows.Forms.Label dateFinishedLabel;
private System.Windows.Forms.TextBox exceptionTextBox;
private System.Windows.Forms.TabControl tabControl;
private System.Windows.Forms.Button restartButton;
private System.Windows.Forms.Button pauseButton;
private System.Windows.Forms.Button stopButton;
private System.Windows.Forms.Button showOptimizerButton;
private System.Windows.Forms.TextBox lastUpdatedTextBox;
private System.Windows.Forms.Label lastUpdatedLabel;
private System.Windows.Forms.Label dateCalculatedLabel;
private System.Windows.Forms.TextBox dateCalculatedText;
private System.Windows.Forms.TextBox dateCreatedTextBox;
private System.Windows.Forms.Label dateCreatedLabel;
private System.Windows.Forms.SplitContainer splitContainer1;
}
}