namespace HeuristicLab.Clients.Hive.Views {
  partial class HiveJobView {
    /// <summary> 
    /// Required designer variable.
    /// </summary>
    private System.ComponentModel.IContainer components = null;

    /// <summary> 
    /// Clean up any resources being used.
    /// </summary>
    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
    protected override void Dispose(bool disposing) {
      if (disposing && (components != null)) {
        components.Dispose();
      }
      base.Dispose(disposing);
    }

    #region Component Designer generated code

    /// <summary> 
    /// Required method for Designer support - do not modify 
    /// the contents of this method with the code editor.
    /// </summary>
    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.optimizerGroupBox = new System.Windows.Forms.GroupBox();
      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.restartButton = new System.Windows.Forms.Button();
      this.pauseButton = new System.Windows.Forms.Button();
      this.stopButton = new System.Windows.Forms.Button();
      this.logTabPage.SuspendLayout();
      this.stateLogTabPage.SuspendLayout();
      this.runsTabPage.SuspendLayout();
      this.detailsTabPage.SuspendLayout();
      this.optimizerGroupBox.SuspendLayout();
      this.configurationGroupBox.SuspendLayout();
      this.jobStatusGroupBox.SuspendLayout();
      this.tabControl.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(406, 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(406, 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.restartButton);
      this.detailsTabPage.Controls.Add(this.pauseButton);
      this.detailsTabPage.Controls.Add(this.stopButton);
      this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
      this.detailsTabPage.Controls.Add(this.configurationGroupBox);
      this.detailsTabPage.Controls.Add(this.jobIdLabel);
      this.detailsTabPage.Controls.Add(this.jobIdTextBox);
      this.detailsTabPage.Controls.Add(this.jobStatusGroupBox);
      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(611, 492);
      this.detailsTabPage.TabIndex = 0;
      this.detailsTabPage.Text = "Details";
      this.detailsTabPage.UseVisualStyleBackColor = true;
      // 
      // 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.optimizerNamedItemView);
      this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
      this.optimizerGroupBox.Name = "optimizerGroupBox";
      this.optimizerGroupBox.Size = new System.Drawing.Size(599, 74);
      this.optimizerGroupBox.TabIndex = 28;
      this.optimizerGroupBox.TabStop = false;
      this.optimizerGroupBox.Text = "Optimizer";
      // 
      // 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(587, 51);
      this.optimizerNamedItemView.TabIndex = 0;
      // 
      // configurationGroupBox
      // 
      this.configurationGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                  | System.Windows.Forms.AnchorStyles.Right)));
      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.Location = new System.Drawing.Point(6, 106);
      this.configurationGroupBox.Name = "configurationGroupBox";
      this.configurationGroupBox.Size = new System.Drawing.Size(599, 119);
      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(485, 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(485, 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(485, 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(514, 20);
      this.jobIdTextBox.TabIndex = 26;
      // 
      // jobStatusGroupBox
      // 
      this.jobStatusGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
                  | System.Windows.Forms.AnchorStyles.Right)));
      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.Location = new System.Drawing.Point(6, 226);
      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
      this.jobStatusGroupBox.Size = new System.Drawing.Size(599, 162);
      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(498, 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(498, 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(498, 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(498, 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(498, 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(498, 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(619, 518);
      this.tabControl.TabIndex = 25;
      // 
      // 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, 465);
      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, 465);
      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, 465);
      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);
      // 
      // 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(625, 524);
      this.logTabPage.ResumeLayout(false);
      this.stateLogTabPage.ResumeLayout(false);
      this.runsTabPage.ResumeLayout(false);
      this.detailsTabPage.ResumeLayout(false);
      this.detailsTabPage.PerformLayout();
      this.optimizerGroupBox.ResumeLayout(false);
      this.configurationGroupBox.ResumeLayout(false);
      this.configurationGroupBox.PerformLayout();
      this.jobStatusGroupBox.ResumeLayout(false);
      this.jobStatusGroupBox.PerformLayout();
      this.tabControl.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 dateCalculatedLabel;
    private System.Windows.Forms.Label stateLabel;
    private System.Windows.Forms.TextBox dateCalculatedText;
    private System.Windows.Forms.TextBox dateFinishedTextBox;
    private System.Windows.Forms.TextBox executionTimeTextBox;
    private System.Windows.Forms.TextBox dateCreatedTextBox;
    private System.Windows.Forms.Label executionTimeLabel;
    private System.Windows.Forms.Label exceptionLabel;
    private System.Windows.Forms.Label dateCreatedLabel;
    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;

  }
}