Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/21/11 15:05:48 (13 years ago)
Author:
cneumuel
Message:

#1233

  • implemented pause, stop for single jobs
  • introduced Command property for jobs (to distinguish between state and command (abort vs. aborted))
  • improved behaviour of ItemTreeView (double click opens new window, selected item stays marked)
  • fixed bugs in StateLogGanttChartListView and HiveJobView
  • fixed cloning of client-side dtos
Location:
branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4
Files:
1 added
11 edited

Legend:

Unmodified
Added
Removed

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/GanttChart.Designer.cs

    r5636 r5779  
    5151      series1.YValueType = System.Windows.Forms.DataVisualization.Charting.ChartValueType.Time;
    5252      this.chart.Series.Add(series1);
    53       this.chart.Size = new System.Drawing.Size(709, 347);
     53      this.chart.Size = new System.Drawing.Size(687, 347);
    5454      this.chart.TabIndex = 0;
    5555      this.chart.Text = "chart";
    … …  
    6161      this.Controls.Add(this.chart);
    6262      this.Name = "GanttChart";
    63       this.Size = new System.Drawing.Size(709, 347);
     63      this.Size = new System.Drawing.Size(687, 347);
    6464      ((System.ComponentModel.ISupportInitialize)(this.chart)).EndInit();
    6565      this.ResumeLayout(false);

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveExperimentView.Designer.cs

    r5675 r5779  
    5252      this.experimentNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
    5353      this.viewExperimentButton = new System.Windows.Forms.Button();
     54      this.jobsTabPage = new System.Windows.Forms.TabPage();
     55      this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.ItemTreeView();
    5456      this.logTabPage = new System.Windows.Forms.TabPage();
    5557      this.logView = new HeuristicLab.Core.Views.LogView();
    … …  
    6769      this.downloadExperimentPanel = new System.Windows.Forms.Panel();
    6870      this.useLocalPluginsCheckBox = new System.Windows.Forms.CheckBox();
    69       this.jobsTabPage = new System.Windows.Forms.TabPage();
    70       this.jobsTreeView = new HeuristicLab.Clients.Hive.Views.ItemTreeView();
    7171      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
    7272      this.tabControl.SuspendLayout();
    7373      this.experimentTabPage.SuspendLayout();
     74      this.jobsTabPage.SuspendLayout();
    7475      this.logTabPage.SuspendLayout();
    7576      this.downloadExperimentPanel.SuspendLayout();
    76       this.jobsTabPage.SuspendLayout();
    7777      this.SuspendLayout();
    7878      //
    … …  
    161161      this.viewExperimentButton.Click += new System.EventHandler(this.showExperimentButton_Click);
    162162      //
     163      // jobsTabPage
     164      //
     165      this.jobsTabPage.Controls.Add(this.jobsTreeView);
     166      this.jobsTabPage.Location = new System.Drawing.Point(4, 22);
     167      this.jobsTabPage.Name = "jobsTabPage";
     168      this.jobsTabPage.Size = new System.Drawing.Size(791, 494);
     169      this.jobsTabPage.TabIndex = 5;
     170      this.jobsTabPage.Text = "Jobs";
     171      this.jobsTabPage.UseVisualStyleBackColor = true;
     172      //
     173      // jobsTreeView
     174      //
     175      this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     176                  | System.Windows.Forms.AnchorStyles.Left)
     177                  | System.Windows.Forms.AnchorStyles.Right)));
     178      this.jobsTreeView.Caption = "ItemTree View";
     179      this.jobsTreeView.Content = null;
     180      this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
     181      this.jobsTreeView.Name = "jobsTreeView";
     182      this.jobsTreeView.ReadOnly = false;
     183      this.jobsTreeView.Size = new System.Drawing.Size(786, 488);
     184      this.jobsTreeView.TabIndex = 0;
     185      //
    163186      // logTabPage
    164187      //
    … …  
    330353      this.useLocalPluginsCheckBox.UseVisualStyleBackColor = true;
    331354      this.useLocalPluginsCheckBox.CheckedChanged += new System.EventHandler(this.useLocalPluginsCheckBox_CheckedChanged);
    332       //
    333       // jobsTabPage
    334       //
    335       this.jobsTabPage.Controls.Add(this.jobsTreeView);
    336       this.jobsTabPage.Location = new System.Drawing.Point(4, 22);
    337       this.jobsTabPage.Name = "jobsTabPage";
    338       this.jobsTabPage.Size = new System.Drawing.Size(791, 494);
    339       this.jobsTabPage.TabIndex = 5;
    340       this.jobsTabPage.Text = "Jobs";
    341       this.jobsTabPage.UseVisualStyleBackColor = true;
    342       //
    343       // jobsTreeView
    344       //
    345       this.jobsTreeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    346                   | System.Windows.Forms.AnchorStyles.Left)
    347                   | System.Windows.Forms.AnchorStyles.Right)));
    348       this.jobsTreeView.Caption = "ItemTree View";
    349       this.jobsTreeView.Content = null;
    350       this.jobsTreeView.Location = new System.Drawing.Point(2, 3);
    351       this.jobsTreeView.Name = "jobsTreeView";
    352       this.jobsTreeView.ReadOnly = false;
    353       this.jobsTreeView.Size = new System.Drawing.Size(786, 488);
    354       this.jobsTreeView.TabIndex = 0;
    355355      //
    356356      // HiveExperimentView
    … …  
    393393      this.tabControl.ResumeLayout(false);
    394394      this.experimentTabPage.ResumeLayout(false);
     395      this.jobsTabPage.ResumeLayout(false);
    395396      this.logTabPage.ResumeLayout(false);
    396397      this.downloadExperimentPanel.ResumeLayout(false);
    397       this.jobsTabPage.ResumeLayout(false);
    398398      this.ResumeLayout(false);
    399399      this.PerformLayout();

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.cs

    r5718 r5779  
    107107        if (Content != null && Content.Job != null) {
    108108          this.jobIdTextBox.Text = Content.Job.Id.ToString();
    109           this.dateCreatedTextBox.Text = Content.Job.DateCreated.HasValue ? Content.Job.DateCreated.ToString() : "-";
     109          this.dateCreatedTextBox.Text = Content.Job.DateCreated.HasValue ? Content.Job.DateCreated.ToString() : string.Empty;
    110110          this.priorityTextBox.Text = Content.Job.Priority.ToString();
    111111          this.coresNeededTextBox.Text = Content.Job.CoresNeeded.ToString();
    … …  
    129129          this.executionTimeTextBox.Text = Content.Job.ExecutionTime.ToString();
    130130          this.dateFinishedTextBox.Text = Content.Job.DateFinished.ToString();
    131           this.exceptionTextBox.Text = Content.Job.CurrentStateLog.Exception;
     131          this.exceptionTextBox.Text = Content.Job.CurrentStateLog != null ? Content.Job.CurrentStateLog.Exception : string.Empty;
    132132          if (Content.OptimizerJob.ComputeInParallel) {
    133133            this.stateLogViewHost.Content = new StateLogListList(
    … …  
    145145          this.stateLogViewHost.Content = null;
    146146        }
     147        SetEnabledStateOfControls();
    147148      }
    148149    }
    … …  
    163164      this.computeInParallelCheckBox.Enabled = !this.ReadOnly && this.Content != null && this.Content.OptimizerJob != null && this.Content.OptimizerJob.IsParallelizable;
    164165
     166      this.restartButton.Enabled = Content != null && Content.Job.State == JobState.Paused;
     167      this.pauseButton.Enabled = Content != null && Content.Job.State == JobState.Calculating;
     168      this.stopButton.Enabled = Content != null && (Content.Job.State == JobState.Calculating || Content.Job.State == JobState.Waiting || Content.Job.State == JobState.Paused);
     169
    165170      optimizerNamedItemView.ReadOnly = true;
    166171    }
    … …  
    180185      }
    181186    }
     187
     188    private void exceptionTextBox_DoubleClick(object sender, EventArgs e) {
     189      using (TextDialog dialog = new TextDialog("Exception", exceptionTextBox.Text, ReadOnly || !Content.CanChangeDescription)) {
     190        if (dialog.ShowDialog(this) == DialogResult.OK)
     191          Content.Description = dialog.Content;
     192      }
     193    }
     194
     195    private void restartButton_Click(object sender, EventArgs e) {
     196      Content.Restart();
     197    }
     198
     199    private void pauseButton_Click(object sender, EventArgs e) {
     200      Content.Pause();
     201    }
     202
     203    private void stopButton_Click(object sender, EventArgs e) {
     204      Content.Stop();
     205    }
    182206  }
    183207}

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.designer.cs

    r5718 r5779  
    2424    /// </summary>
    2525    private void InitializeComponent() {
     26      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveJobView));
    2627      this.logTabPage = new System.Windows.Forms.TabPage();
    2728      this.logView = new HeuristicLab.Core.Views.LogView();
    … …  
    3132      this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
    3233      this.detailsTabPage = new System.Windows.Forms.TabPage();
    33       this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
    34       this.exceptionTextBox = new System.Windows.Forms.TextBox();
    35       this.dateFinishedLabel = new System.Windows.Forms.Label();
    36       this.dateCreatedLabel = new System.Windows.Forms.Label();
    37       this.exceptionLabel = new System.Windows.Forms.Label();
    38       this.executionTimeLabel = new System.Windows.Forms.Label();
    39       this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
    40       this.executionTimeTextBox = new System.Windows.Forms.TextBox();
    41       this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
    42       this.dateCalculatedText = new System.Windows.Forms.TextBox();
    43       this.stateLabel = new System.Windows.Forms.Label();
    44       this.dateCalculatedLabel = new System.Windows.Forms.Label();
    45       this.stateTextBox = new System.Windows.Forms.TextBox();
    46       this.jobIdTextBox = new System.Windows.Forms.TextBox();
    47       this.jobIdLabel = new System.Windows.Forms.Label();
    48       this.configurationGroupBox = new System.Windows.Forms.GroupBox();
    49       this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
    50       this.computeInParallelLabel = new System.Windows.Forms.Label();
    51       this.coresNeededLabel = new System.Windows.Forms.Label();
    52       this.memoryNeededLabel = new System.Windows.Forms.Label();
    53       this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
    54       this.coresNeededTextBox = new System.Windows.Forms.TextBox();
    55       this.priorityLabel = new System.Windows.Forms.Label();
    56       this.priorityTextBox = new System.Windows.Forms.TextBox();
    5734      this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
    5835      this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
     36      this.configurationGroupBox = new System.Windows.Forms.GroupBox();
     37      this.priorityTextBox = new System.Windows.Forms.TextBox();
     38      this.priorityLabel = new System.Windows.Forms.Label();
     39      this.coresNeededTextBox = new System.Windows.Forms.TextBox();
     40      this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
     41      this.memoryNeededLabel = new System.Windows.Forms.Label();
     42      this.coresNeededLabel = new System.Windows.Forms.Label();
     43      this.computeInParallelLabel = new System.Windows.Forms.Label();
     44      this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
     45      this.jobIdLabel = new System.Windows.Forms.Label();
     46      this.jobIdTextBox = new System.Windows.Forms.TextBox();
     47      this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
     48      this.stateTextBox = new System.Windows.Forms.TextBox();
     49      this.dateCalculatedLabel = new System.Windows.Forms.Label();
     50      this.stateLabel = new System.Windows.Forms.Label();
     51      this.dateCalculatedText = new System.Windows.Forms.TextBox();
     52      this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
     53      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
     54      this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
     55      this.executionTimeLabel = new System.Windows.Forms.Label();
     56      this.exceptionLabel = new System.Windows.Forms.Label();
     57      this.dateCreatedLabel = new System.Windows.Forms.Label();
     58      this.dateFinishedLabel = new System.Windows.Forms.Label();
     59      this.exceptionTextBox = new System.Windows.Forms.TextBox();
    5960      this.tabControl = new System.Windows.Forms.TabControl();
     61      this.restartButton = new System.Windows.Forms.Button();
     62      this.pauseButton = new System.Windows.Forms.Button();
     63      this.stopButton = new System.Windows.Forms.Button();
    6064      this.logTabPage.SuspendLayout();
    6165      this.stateLogTabPage.SuspendLayout();
    6266      this.runsTabPage.SuspendLayout();
    6367      this.detailsTabPage.SuspendLayout();
     68      this.optimizerGroupBox.SuspendLayout();
     69      this.configurationGroupBox.SuspendLayout();
    6470      this.jobStatusGroupBox.SuspendLayout();
    65       this.configurationGroupBox.SuspendLayout();
    66       this.optimizerGroupBox.SuspendLayout();
    6771      this.tabControl.SuspendLayout();
    6872      this.SuspendLayout();
    … …  
    7478      this.logTabPage.Name = "logTabPage";
    7579      this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
    76       this.logTabPage.Size = new System.Drawing.Size(619, 492);
     80      this.logTabPage.Size = new System.Drawing.Size(406, 492);
    7781      this.logTabPage.TabIndex = 1;
    7882      this.logTabPage.Text = "Log";
    … …  
    97101      this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
    98102      this.stateLogTabPage.Name = "stateLogTabPage";
    99       this.stateLogTabPage.Size = new System.Drawing.Size(619, 492);
     103      this.stateLogTabPage.Size = new System.Drawing.Size(611, 492);
    100104      this.stateLogTabPage.TabIndex = 5;
    101105      this.stateLogTabPage.Text = "State";
    … …  
    104108      // stateLogViewHost
    105109      //
    106       this.stateLogViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    107                   | System.Windows.Forms.AnchorStyles.Left)
    108                   | System.Windows.Forms.AnchorStyles.Right)));
    109110      this.stateLogViewHost.Caption = "View";
    110111      this.stateLogViewHost.Content = null;
     112      this.stateLogViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
    111113      this.stateLogViewHost.Enabled = false;
    112114      this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
    113115      this.stateLogViewHost.Name = "stateLogViewHost";
    114116      this.stateLogViewHost.ReadOnly = false;
    115       this.stateLogViewHost.Size = new System.Drawing.Size(619, 492);
     117      this.stateLogViewHost.Size = new System.Drawing.Size(611, 492);
    116118      this.stateLogViewHost.TabIndex = 0;
    117119      this.stateLogViewHost.ViewsLabelVisible = true;
    … …  
    123125      this.runsTabPage.Location = new System.Drawing.Point(4, 22);
    124126      this.runsTabPage.Name = "runsTabPage";
    125       this.runsTabPage.Size = new System.Drawing.Size(619, 492);
     127      this.runsTabPage.Size = new System.Drawing.Size(406, 492);
    126128      this.runsTabPage.TabIndex = 4;
    127129      this.runsTabPage.Text = "Runs";
    … …  
    146148      // detailsTabPage
    147149      //
     150      this.detailsTabPage.Controls.Add(this.restartButton);
     151      this.detailsTabPage.Controls.Add(this.pauseButton);
     152      this.detailsTabPage.Controls.Add(this.stopButton);
    148153      this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
    149154      this.detailsTabPage.Controls.Add(this.configurationGroupBox);
    … …  
    154159      this.detailsTabPage.Name = "detailsTabPage";
    155160      this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
    156       this.detailsTabPage.Size = new System.Drawing.Size(619, 492);
     161      this.detailsTabPage.Size = new System.Drawing.Size(611, 492);
    157162      this.detailsTabPage.TabIndex = 0;
    158163      this.detailsTabPage.Text = "Details";
    159164      this.detailsTabPage.UseVisualStyleBackColor = true;
     165      //
     166      // optimizerGroupBox
     167      //
     168      this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     169                  | System.Windows.Forms.AnchorStyles.Right)));
     170      this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
     171      this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
     172      this.optimizerGroupBox.Name = "optimizerGroupBox";
     173      this.optimizerGroupBox.Size = new System.Drawing.Size(599, 74);
     174      this.optimizerGroupBox.TabIndex = 28;
     175      this.optimizerGroupBox.TabStop = false;
     176      this.optimizerGroupBox.Text = "Optimizer";
     177      //
     178      // optimizerNamedItemView
     179      //
     180      this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     181                  | System.Windows.Forms.AnchorStyles.Right)));
     182      this.optimizerNamedItemView.Caption = "NamedItem View";
     183      this.optimizerNamedItemView.Content = null;
     184      this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
     185      this.optimizerNamedItemView.Name = "optimizerNamedItemView";
     186      this.optimizerNamedItemView.ReadOnly = false;
     187      this.optimizerNamedItemView.Size = new System.Drawing.Size(587, 51);
     188      this.optimizerNamedItemView.TabIndex = 0;
     189      //
     190      // configurationGroupBox
     191      //
     192      this.configurationGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     193                  | System.Windows.Forms.AnchorStyles.Right)));
     194      this.configurationGroupBox.Controls.Add(this.priorityTextBox);
     195      this.configurationGroupBox.Controls.Add(this.priorityLabel);
     196      this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
     197      this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
     198      this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
     199      this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
     200      this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
     201      this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
     202      this.configurationGroupBox.Location = new System.Drawing.Point(6, 106);
     203      this.configurationGroupBox.Name = "configurationGroupBox";
     204      this.configurationGroupBox.Size = new System.Drawing.Size(599, 119);
     205      this.configurationGroupBox.TabIndex = 27;
     206      this.configurationGroupBox.TabStop = false;
     207      this.configurationGroupBox.Text = "Configuration";
     208      //
     209      // priorityTextBox
     210      //
     211      this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     212                  | System.Windows.Forms.AnchorStyles.Right)));
     213      this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
     214      this.priorityTextBox.Name = "priorityTextBox";
     215      this.priorityTextBox.Size = new System.Drawing.Size(485, 20);
     216      this.priorityTextBox.TabIndex = 41;
     217      //
     218      // priorityLabel
     219      //
     220      this.priorityLabel.AutoSize = true;
     221      this.priorityLabel.Location = new System.Drawing.Point(7, 66);
     222      this.priorityLabel.Name = "priorityLabel";
     223      this.priorityLabel.Size = new System.Drawing.Size(41, 13);
     224      this.priorityLabel.TabIndex = 42;
     225      this.priorityLabel.Text = "Priority:";
     226      //
     227      // coresNeededTextBox
     228      //
     229      this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     230                  | System.Windows.Forms.AnchorStyles.Right)));
     231      this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
     232      this.coresNeededTextBox.Name = "coresNeededTextBox";
     233      this.coresNeededTextBox.Size = new System.Drawing.Size(485, 20);
     234      this.coresNeededTextBox.TabIndex = 37;
     235      //
     236      // memoryNeededTextBox
     237      //
     238      this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     239                  | System.Windows.Forms.AnchorStyles.Right)));
     240      this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
     241      this.memoryNeededTextBox.Name = "memoryNeededTextBox";
     242      this.memoryNeededTextBox.Size = new System.Drawing.Size(485, 20);
     243      this.memoryNeededTextBox.TabIndex = 38;
     244      //
     245      // memoryNeededLabel
     246      //
     247      this.memoryNeededLabel.AutoSize = true;
     248      this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
     249      this.memoryNeededLabel.Name = "memoryNeededLabel";
     250      this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
     251      this.memoryNeededLabel.TabIndex = 40;
     252      this.memoryNeededLabel.Text = "MemoryNeeded:";
     253      //
     254      // coresNeededLabel
     255      //
     256      this.coresNeededLabel.AutoSize = true;
     257      this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
     258      this.coresNeededLabel.Name = "coresNeededLabel";
     259      this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
     260      this.coresNeededLabel.TabIndex = 39;
     261      this.coresNeededLabel.Text = "CoresNeeded:";
     262      //
     263      // computeInParallelLabel
     264      //
     265      this.computeInParallelLabel.AutoSize = true;
     266      this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
     267      this.computeInParallelLabel.Name = "computeInParallelLabel";
     268      this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
     269      this.computeInParallelLabel.TabIndex = 36;
     270      this.computeInParallelLabel.Text = "ComputeInParallel:";
     271      //
     272      // computeInParallelCheckBox
     273      //
     274      this.computeInParallelCheckBox.AutoSize = true;
     275      this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
     276      this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
     277      this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
     278      this.computeInParallelCheckBox.TabIndex = 35;
     279      this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
     280      this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
     281      //
     282      // jobIdLabel
     283      //
     284      this.jobIdLabel.AutoSize = true;
     285      this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
     286      this.jobIdLabel.Name = "jobIdLabel";
     287      this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
     288      this.jobIdLabel.TabIndex = 25;
     289      this.jobIdLabel.Text = "JobId:";
     290      //
     291      // jobIdTextBox
     292      //
     293      this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     294                  | System.Windows.Forms.AnchorStyles.Right)));
     295      this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
     296      this.jobIdTextBox.Name = "jobIdTextBox";
     297      this.jobIdTextBox.Size = new System.Drawing.Size(514, 20);
     298      this.jobIdTextBox.TabIndex = 26;
    160299      //
    161300      // jobStatusGroupBox
    … …  
    177316      this.jobStatusGroupBox.Location = new System.Drawing.Point(6, 226);
    178317      this.jobStatusGroupBox.Name = "jobStatusGroupBox";
    179       this.jobStatusGroupBox.Size = new System.Drawing.Size(610, 162);
     318      this.jobStatusGroupBox.Size = new System.Drawing.Size(599, 162);
    180319      this.jobStatusGroupBox.TabIndex = 24;
    181320      this.jobStatusGroupBox.TabStop = false;
    182321      this.jobStatusGroupBox.Text = "Job Status";
    183322      //
    184       // exceptionTextBox
    185       //
    186       this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    187                   | System.Windows.Forms.AnchorStyles.Right)));
    188       this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
    189       this.exceptionTextBox.Name = "exceptionTextBox";
    190       this.exceptionTextBox.Size = new System.Drawing.Size(509, 20);
    191       this.exceptionTextBox.TabIndex = 10;
     323      // stateTextBox
     324      //
     325      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     326                  | System.Windows.Forms.AnchorStyles.Right)));
     327      this.stateTextBox.Location = new System.Drawing.Point(95, 19);
     328      this.stateTextBox.Name = "stateTextBox";
     329      this.stateTextBox.Size = new System.Drawing.Size(498, 20);
     330      this.stateTextBox.TabIndex = 2;
     331      //
     332      // dateCalculatedLabel
     333      //
     334      this.dateCalculatedLabel.AutoSize = true;
     335      this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
     336      this.dateCalculatedLabel.Name = "dateCalculatedLabel";
     337      this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
     338      this.dateCalculatedLabel.TabIndex = 23;
     339      this.dateCalculatedLabel.Text = "DateCalculated:";
     340      //
     341      // stateLabel
     342      //
     343      this.stateLabel.AutoSize = true;
     344      this.stateLabel.Location = new System.Drawing.Point(7, 19);
     345      this.stateLabel.Name = "stateLabel";
     346      this.stateLabel.Size = new System.Drawing.Size(35, 13);
     347      this.stateLabel.TabIndex = 0;
     348      this.stateLabel.Text = "State:";
     349      //
     350      // dateCalculatedText
     351      //
     352      this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     353                  | System.Windows.Forms.AnchorStyles.Right)));
     354      this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
     355      this.dateCalculatedText.Name = "dateCalculatedText";
     356      this.dateCalculatedText.Size = new System.Drawing.Size(498, 20);
     357      this.dateCalculatedText.TabIndex = 22;
     358      //
     359      // dateFinishedTextBox
     360      //
     361      this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     362                  | System.Windows.Forms.AnchorStyles.Right)));
     363      this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
     364      this.dateFinishedTextBox.Name = "dateFinishedTextBox";
     365      this.dateFinishedTextBox.Size = new System.Drawing.Size(498, 20);
     366      this.dateFinishedTextBox.TabIndex = 6;
     367      //
     368      // executionTimeTextBox
     369      //
     370      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     371                  | System.Windows.Forms.AnchorStyles.Right)));
     372      this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
     373      this.executionTimeTextBox.Name = "executionTimeTextBox";
     374      this.executionTimeTextBox.Size = new System.Drawing.Size(498, 20);
     375      this.executionTimeTextBox.TabIndex = 4;
     376      //
     377      // dateCreatedTextBox
     378      //
     379      this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     380                  | System.Windows.Forms.AnchorStyles.Right)));
     381      this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
     382      this.dateCreatedTextBox.Name = "dateCreatedTextBox";
     383      this.dateCreatedTextBox.Size = new System.Drawing.Size(498, 20);
     384      this.dateCreatedTextBox.TabIndex = 5;
     385      //
     386      // executionTimeLabel
     387      //
     388      this.executionTimeLabel.AutoSize = true;
     389      this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
     390      this.executionTimeLabel.Name = "executionTimeLabel";
     391      this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
     392      this.executionTimeLabel.TabIndex = 13;
     393      this.executionTimeLabel.Text = "ExecutionTime:";
     394      //
     395      // exceptionLabel
     396      //
     397      this.exceptionLabel.AutoSize = true;
     398      this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
     399      this.exceptionLabel.Name = "exceptionLabel";
     400      this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
     401      this.exceptionLabel.TabIndex = 19;
     402      this.exceptionLabel.Text = "Exception:";
     403      //
     404      // dateCreatedLabel
     405      //
     406      this.dateCreatedLabel.AutoSize = true;
     407      this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
     408      this.dateCreatedLabel.Name = "dateCreatedLabel";
     409      this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
     410      this.dateCreatedLabel.TabIndex = 14;
     411      this.dateCreatedLabel.Text = "DateCreated:";
    192412      //
    193413      // dateFinishedLabel
    … …  
    200420      this.dateFinishedLabel.Text = "DateFinished:";
    201421      //
    202       // dateCreatedLabel
    203       //
    204       this.dateCreatedLabel.AutoSize = true;
    205       this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
    206       this.dateCreatedLabel.Name = "dateCreatedLabel";
    207       this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
    208       this.dateCreatedLabel.TabIndex = 14;
    209       this.dateCreatedLabel.Text = "DateCreated:";
    210       //
    211       // exceptionLabel
    212       //
    213       this.exceptionLabel.AutoSize = true;
    214       this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
    215       this.exceptionLabel.Name = "exceptionLabel";
    216       this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
    217       this.exceptionLabel.TabIndex = 19;
    218       this.exceptionLabel.Text = "Exception:";
    219       //
    220       // executionTimeLabel
    221       //
    222       this.executionTimeLabel.AutoSize = true;
    223       this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
    224       this.executionTimeLabel.Name = "executionTimeLabel";
    225       this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
    226       this.executionTimeLabel.TabIndex = 13;
    227       this.executionTimeLabel.Text = "ExecutionTime:";
    228       //
    229       // dateCreatedTextBox
    230       //
    231       this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    232                   | System.Windows.Forms.AnchorStyles.Right)));
    233       this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
    234       this.dateCreatedTextBox.Name = "dateCreatedTextBox";
    235       this.dateCreatedTextBox.Size = new System.Drawing.Size(509, 20);
    236       this.dateCreatedTextBox.TabIndex = 5;
    237       //
    238       // executionTimeTextBox
    239       //
    240       this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
    241       this.executionTimeTextBox.Name = "executionTimeTextBox";
    242       this.executionTimeTextBox.Size = new System.Drawing.Size(509, 20);
    243       this.executionTimeTextBox.TabIndex = 4;
    244       //
    245       // dateFinishedTextBox
    246       //
    247       this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    248                   | System.Windows.Forms.AnchorStyles.Right)));
    249       this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
    250       this.dateFinishedTextBox.Name = "dateFinishedTextBox";
    251       this.dateFinishedTextBox.Size = new System.Drawing.Size(509, 20);
    252       this.dateFinishedTextBox.TabIndex = 6;
    253       //
    254       // dateCalculatedText
    255       //
    256       this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    257                   | System.Windows.Forms.AnchorStyles.Right)));
    258       this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
    259       this.dateCalculatedText.Name = "dateCalculatedText";
    260       this.dateCalculatedText.Size = new System.Drawing.Size(509, 20);
    261       this.dateCalculatedText.TabIndex = 22;
    262       //
    263       // stateLabel
    264       //
    265       this.stateLabel.AutoSize = true;
    266       this.stateLabel.Location = new System.Drawing.Point(7, 19);
    267       this.stateLabel.Name = "stateLabel";
    268       this.stateLabel.Size = new System.Drawing.Size(35, 13);
    269       this.stateLabel.TabIndex = 0;
    270       this.stateLabel.Text = "State:";
    271       //
    272       // dateCalculatedLabel
    273       //
    274       this.dateCalculatedLabel.AutoSize = true;
    275       this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
    276       this.dateCalculatedLabel.Name = "dateCalculatedLabel";
    277       this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
    278       this.dateCalculatedLabel.TabIndex = 23;
    279       this.dateCalculatedLabel.Text = "DateCalculated:";
    280       //
    281       // stateTextBox
    282       //
    283       this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    284                   | System.Windows.Forms.AnchorStyles.Right)));
    285       this.stateTextBox.Location = new System.Drawing.Point(95, 19);
    286       this.stateTextBox.Name = "stateTextBox";
    287       this.stateTextBox.Size = new System.Drawing.Size(509, 20);
    288       this.stateTextBox.TabIndex = 2;
    289       //
    290       // jobIdTextBox
    291       //
    292       this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    293                   | System.Windows.Forms.AnchorStyles.Right)));
    294       this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
    295       this.jobIdTextBox.Name = "jobIdTextBox";
    296       this.jobIdTextBox.Size = new System.Drawing.Size(525, 20);
    297       this.jobIdTextBox.TabIndex = 26;
    298       //
    299       // jobIdLabel
    300       //
    301       this.jobIdLabel.AutoSize = true;
    302       this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
    303       this.jobIdLabel.Name = "jobIdLabel";
    304       this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
    305       this.jobIdLabel.TabIndex = 25;
    306       this.jobIdLabel.Text = "JobId:";
    307       //
    308       // configurationGroupBox
    309       //
    310       this.configurationGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    311                   | System.Windows.Forms.AnchorStyles.Right)));
    312       this.configurationGroupBox.Controls.Add(this.priorityTextBox);
    313       this.configurationGroupBox.Controls.Add(this.priorityLabel);
    314       this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
    315       this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
    316       this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
    317       this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
    318       this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
    319       this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
    320       this.configurationGroupBox.Location = new System.Drawing.Point(6, 105);
    321       this.configurationGroupBox.Name = "configurationGroupBox";
    322       this.configurationGroupBox.Size = new System.Drawing.Size(610, 119);
    323       this.configurationGroupBox.TabIndex = 27;
    324       this.configurationGroupBox.TabStop = false;
    325       this.configurationGroupBox.Text = "Configuration";
    326       //
    327       // computeInParallelCheckBox
    328       //
    329       this.computeInParallelCheckBox.AutoSize = true;
    330       this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
    331       this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
    332       this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
    333       this.computeInParallelCheckBox.TabIndex = 35;
    334       this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
    335       this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
    336       //
    337       // computeInParallelLabel
    338       //
    339       this.computeInParallelLabel.AutoSize = true;
    340       this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
    341       this.computeInParallelLabel.Name = "computeInParallelLabel";
    342       this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
    343       this.computeInParallelLabel.TabIndex = 36;
    344       this.computeInParallelLabel.Text = "ComputeInParallel:";
    345       //
    346       // coresNeededLabel
    347       //
    348       this.coresNeededLabel.AutoSize = true;
    349       this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
    350       this.coresNeededLabel.Name = "coresNeededLabel";
    351       this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
    352       this.coresNeededLabel.TabIndex = 39;
    353       this.coresNeededLabel.Text = "CoresNeeded:";
    354       //
    355       // memoryNeededLabel
    356       //
    357       this.memoryNeededLabel.AutoSize = true;
    358       this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
    359       this.memoryNeededLabel.Name = "memoryNeededLabel";
    360       this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
    361       this.memoryNeededLabel.TabIndex = 40;
    362       this.memoryNeededLabel.Text = "MemoryNeeded:";
    363       //
    364       // memoryNeededTextBox
    365       //
    366       this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    367                   | System.Windows.Forms.AnchorStyles.Right)));
    368       this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
    369       this.memoryNeededTextBox.Name = "memoryNeededTextBox";
    370       this.memoryNeededTextBox.Size = new System.Drawing.Size(496, 20);
    371       this.memoryNeededTextBox.TabIndex = 38;
    372       //
    373       // coresNeededTextBox
    374       //
    375       this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    376                   | System.Windows.Forms.AnchorStyles.Right)));
    377       this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
    378       this.coresNeededTextBox.Name = "coresNeededTextBox";
    379       this.coresNeededTextBox.Size = new System.Drawing.Size(496, 20);
    380       this.coresNeededTextBox.TabIndex = 37;
    381       //
    382       // priorityLabel
    383       //
    384       this.priorityLabel.AutoSize = true;
    385       this.priorityLabel.Location = new System.Drawing.Point(7, 66);
    386       this.priorityLabel.Name = "priorityLabel";
    387       this.priorityLabel.Size = new System.Drawing.Size(41, 13);
    388       this.priorityLabel.TabIndex = 42;
    389       this.priorityLabel.Text = "Priority:";
    390       //
    391       // priorityTextBox
    392       //
    393       this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    394                   | System.Windows.Forms.AnchorStyles.Right)));
    395       this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
    396       this.priorityTextBox.Name = "priorityTextBox";
    397       this.priorityTextBox.Size = new System.Drawing.Size(496, 20);
    398       this.priorityTextBox.TabIndex = 41;
    399       //
    400       // optimizerGroupBox
    401       //
    402       this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    403                   | System.Windows.Forms.AnchorStyles.Right)));
    404       this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
    405       this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
    406       this.optimizerGroupBox.Name = "optimizerGroupBox";
    407       this.optimizerGroupBox.Size = new System.Drawing.Size(610, 74);
    408       this.optimizerGroupBox.TabIndex = 28;
    409       this.optimizerGroupBox.TabStop = false;
    410       this.optimizerGroupBox.Text = "Optimizer";
    411       //
    412       // optimizerNamedItemView
    413       //
    414       this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    415                   | System.Windows.Forms.AnchorStyles.Right)));
    416       this.optimizerNamedItemView.Caption = "NamedItem View";
    417       this.optimizerNamedItemView.Content = null;
    418       this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
    419       this.optimizerNamedItemView.Name = "optimizerNamedItemView";
    420       this.optimizerNamedItemView.ReadOnly = false;
    421       this.optimizerNamedItemView.Size = new System.Drawing.Size(598, 51);
    422       this.optimizerNamedItemView.TabIndex = 0;
     422      // exceptionTextBox
     423      //
     424      this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     425                  | System.Windows.Forms.AnchorStyles.Right)));
     426      this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
     427      this.exceptionTextBox.Name = "exceptionTextBox";
     428      this.exceptionTextBox.Size = new System.Drawing.Size(498, 20);
     429      this.exceptionTextBox.TabIndex = 10;
     430      this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
    423431      //
    424432      // tabControl
    … …  
    434442      this.tabControl.Name = "tabControl";
    435443      this.tabControl.SelectedIndex = 0;
    436       this.tabControl.Size = new System.Drawing.Size(627, 518);
     444      this.tabControl.Size = new System.Drawing.Size(619, 518);
    437445      this.tabControl.TabIndex = 25;
     446      //
     447      // restartButton
     448      //
     449      this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     450      this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
     451      this.restartButton.Location = new System.Drawing.Point(3, 465);
     452      this.restartButton.Name = "restartButton";
     453      this.restartButton.Size = new System.Drawing.Size(24, 24);
     454      this.restartButton.TabIndex = 30;
     455      this.restartButton.UseVisualStyleBackColor = true;
     456      this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
     457      //
     458      // pauseButton
     459      //
     460      this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     461      this.pauseButton.Enabled = false;
     462      this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
     463      this.pauseButton.Location = new System.Drawing.Point(33, 465);
     464      this.pauseButton.Name = "pauseButton";
     465      this.pauseButton.Size = new System.Drawing.Size(24, 24);
     466      this.pauseButton.TabIndex = 31;
     467      this.pauseButton.UseVisualStyleBackColor = true;
     468      this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
     469      //
     470      // stopButton
     471      //
     472      this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
     473      this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
     474      this.stopButton.Location = new System.Drawing.Point(63, 465);
     475      this.stopButton.Name = "stopButton";
     476      this.stopButton.Size = new System.Drawing.Size(24, 24);
     477      this.stopButton.TabIndex = 32;
     478      this.stopButton.UseVisualStyleBackColor = true;
     479      this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
    438480      //
    439481      // HiveJobView
    … …  
    443485      this.Controls.Add(this.tabControl);
    444486      this.Name = "HiveJobView";
    445       this.Size = new System.Drawing.Size(633, 524);
     487      this.Size = new System.Drawing.Size(625, 524);
    446488      this.logTabPage.ResumeLayout(false);
    447489      this.stateLogTabPage.ResumeLayout(false);
    … …  
    449491      this.detailsTabPage.ResumeLayout(false);
    450492      this.detailsTabPage.PerformLayout();
     493      this.optimizerGroupBox.ResumeLayout(false);
     494      this.configurationGroupBox.ResumeLayout(false);
     495      this.configurationGroupBox.PerformLayout();
    451496      this.jobStatusGroupBox.ResumeLayout(false);
    452497      this.jobStatusGroupBox.PerformLayout();
    453       this.configurationGroupBox.ResumeLayout(false);
    454       this.configurationGroupBox.PerformLayout();
    455       this.optimizerGroupBox.ResumeLayout(false);
    456498      this.tabControl.ResumeLayout(false);
    457499      this.ResumeLayout(false);
    … …  
    495537    private System.Windows.Forms.TextBox exceptionTextBox;
    496538    private System.Windows.Forms.TabControl tabControl;
     539    private System.Windows.Forms.Button restartButton;
     540    private System.Windows.Forms.Button pauseButton;
     541    private System.Windows.Forms.Button stopButton;
    497542
    498543  }

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.resx

    r5597 r5779  
    118118    <value>System.Resources.ResXResourceWriter, System.Windows.Forms, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b77a5c561934e089</value>
    119119  </resheader>
     120  <assembly alias="System.Drawing" name="System.Drawing, Version=4.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a" />
     121  <data name="restartButton.Image" type="System.Drawing.Bitmap, System.Drawing" mimetype="application/x-microsoft.net.object.bytearray.base64">
     122    <value>
     123        iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8
     124        YQUAAAAgY0hSTQAAeiYAAICEAAD6AAAAgOgAAHUwAADqYAAAOpgAABdwnLpRPAAAAAlwSFlzAAAK/wAA
     125        Cv8BNGKaggAAALBJREFUOE9j+P//PwMlGKvmsv3ZbsQaitWAhBkR/4k1BKcBlmX6RBmC1YCoKUH/N9xa
     126        /J8YQ7AaEDzBG2Q7UYZgNcCnyxlsAAhHLQrA6xKsBjg2W/zP2BAL1mzbrP9fp1jhv0QaN4hWQ48drAaY
     127        1+ihaOZPYMGqGWQYVgP0SpXhNuPTjNMAlXwpsLMJacZpgHSGIFGacRogksyJ089EBSK20MaVNyjKiTi9
     128        QGxOBKkDACT9xOni1RbMAAAAAElFTkSuQmCC
     129</value>
     130  </data>
     131  <data name="pauseButton.Image" type="System.Drawing.Bitmap, System.Drawing" mimetype="application/x-microsoft.net.object.bytearray.base64">
     132    <value>
     133        iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8
     134        YQUAAAAgY0hSTQAAeiYAAICEAAD6AAAAgOgAAHUwAADqYAAAOpgAABdwnLpRPAAAAAlwSFlzAAAK/wAA
     135        Cv8BNGKaggAAAL5JREFUOE9j+P//PwMlmCLNIIsHoQG9m//+79rw63/e1EefQE5E56OHF4YXQJqvPvzz
     136        Xzd0FVDtfwZ0PkED2tZ++3/r6e//qn6LwAag8wka0Lji8//LD3//l3ObBTYAnU/QgNrF7/+fuP77v5jd
     137        JLAB6HyCBlTMe/V/94Wf//nNusEGoPMJGlAy+/n/9Sd//uc0aAUbgM4naEDB9Mf/F+z5/J9VpxFsADqf
     138        oAGg+GfTbYIbgM4naACpGWvg8wIAkX3yJyVePz4AAAAASUVORK5CYII=
     139</value>
     140  </data>
     141  <data name="stopButton.Image" type="System.Drawing.Bitmap, System.Drawing" mimetype="application/x-microsoft.net.object.bytearray.base64">
     142    <value>
     143        iVBORw0KGgoAAAANSUhEUgAAABAAAAAQCAYAAAAf8/9hAAAAAXNSR0IArs4c6QAAAARnQU1BAACxjwv8
     144        YQUAAAAgY0hSTQAAeiYAAICEAAD6AAAAgOgAAHUwAADqYAAAOpgAABdwnLpRPAAAAAlwSFlzAAAK/wAA
     145        Cv8BNGKaggAAAWtJREFUOE/Nkz9IAmEYxl0KGqKtMVpaIiEoipYIgnByCSGhSQiCNBqCMiqwsr8clChF
     146        YmYSSikeWEbZH2qwEhKhwhAXjQwKEbw0zyue7nO7hgtyqOEbf7/ne5+XVwJAUsorCSbB/0xAeT+xSBcw
     147        685B52QwYU9jdOMFw+ZnDK0+YtCUyHzvSzACge/jH7hLcAg8FHB4w8IbZOEKsLD4s5AqdnheWLpAQJKj
     148        TxyCUa4IOi/yWPPlsOJlMGePoU6+JS4g376NczgKsdg+y8PIg3pnBmPWV6ipMGq61sUFZOarCAf3JZ98
     149        8I75XQKnoDEmoRg5RXW7QVxACvOHWdhO8lim36C1ptFvSEI5E4NsYA9VLUviAtK255qFcT+LSXsKahMP
     150        66OQa0Po7HOholEvLiCr2jxmMG2LQEOFoBw/55M96FA50NpjRlmDTlxA9tym8qGpl0Z9twO1Mktx7srm
     151        BZRLp34W/Oao/v4WvgBcI/R+TmAaZAAAAABJRU5ErkJggg==
     152</value>
     153  </data>
    120154</root>

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/ItemTreeView.cs

    r5675 r5779  
    232232      }
    233233    }
     234
     235    private void treeView_DoubleClick(object sender, EventArgs e) {
     236      if (treeView.SelectedNode != null) {
     237        var item = treeView.SelectedNode.Tag as IItemTree;
     238        if (item != null) {
     239          IContentView view = MainFormManager.MainForm.ShowContent(item);
     240          if (view != null) {
     241            view.ReadOnly = ReadOnly;
     242            view.Locked = Locked;
     243          }
     244        }
     245      }
     246    }
    234247  }
    235248}

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/ItemTreeView.designer.cs

    r5675 r5779  
    5858      //
    5959      this.treeView.Dock = System.Windows.Forms.DockStyle.Fill;
     60      this.treeView.HideSelection = false;
    6061      this.treeView.ImageIndex = 0;
    6162      this.treeView.ImageList = this.imageList;
    … …  
    6667      this.treeView.TabIndex = 0;
    6768      this.treeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.treeView_AfterSelect);
     69      this.treeView.DoubleClick += new System.EventHandler(this.treeView_DoubleClick);
    6870      //
    6971      // imageList

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/StateLogGanttChartListView.cs

    r5718 r5779  
    6262        ganttChart.Reset();
    6363        SetupCategories(ganttChart);
     64        if (Content.Count > 0) {
     65          DateTime maxValue = Content.Max(x => x.Count > 0 ? x.Max(y => y.DateTime) : DateTime.MinValue);
     66          var upperLimit = DateTime.FromOADate(Math.Min(DateTime.Now.AddSeconds(10).ToOADate(), maxValue.AddSeconds(10).ToOADate()));
    6467
    65         DateTime maxValue = Content.Max(x => x.Max(y => y.DateTime));
    66         var upperLimit = DateTime.FromOADate(Math.Min(DateTime.Now.AddSeconds(10).ToOADate(), maxValue.AddSeconds(10).ToOADate()));
    67 
    68         for (int i = 0; i < Content.Count; i++) {
    69           for (int j = 0; j < Content[i].Count - 1; j++) {
    70             if(Content[i][j].State != JobState.Offline && Content[i][j].State != JobState.Finished)
    71               AddData(ganttChart, i.ToString(), Content[i][j], Content[i][j+1], upperLimit);
    72           }
    73           if(Content[i].Count > 0) {
    74             AddData(ganttChart, i.ToString(), Content[i][Content[i].Count - 1], null, upperLimit);
     68          for (int i = 0; i < Content.Count; i++) {
     69            for (int j = 0; j < Content[i].Count - 1; j++) {
     70              if (Content[i][j].State != JobState.Offline)
     71                AddData(ganttChart, i.ToString(), Content[i][j], Content[i][j + 1], upperLimit);
     72            }
     73            if (Content[i].Count > 0) {
     74              AddData(ganttChart, i.ToString(), Content[i][Content[i].Count - 1], null, upperLimit);
     75            }
    7576          }
    7677        }
    … …  
    8182      ganttChart.AddCategory(JobState.Offline.ToString(), Color.Gainsboro);
    8283      ganttChart.AddCategory(JobState.Waiting.ToString(), Color.NavajoWhite);
     84      ganttChart.AddCategory(JobState.Paused.ToString(), Color.PaleVioletRed);
    8385      ganttChart.AddCategory(JobState.Transferring.ToString(), Color.CornflowerBlue);
    8486      ganttChart.AddCategory(JobState.Calculating.ToString(), Color.DarkGreen);

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/StateLogGanttChartListView.designer.cs

    r5636 r5779  
    3434      this.ganttChart.Location = new System.Drawing.Point(0, 0);
    3535      this.ganttChart.Name = "ganttChart";
    36       this.ganttChart.Size = new System.Drawing.Size(518, 307);
     36      this.ganttChart.Size = new System.Drawing.Size(493, 293);
    3737      this.ganttChart.TabIndex = 0;
    3838      //
    39       // StateLogGanttChartView
     39      // StateLogGanttChartListView
    4040      //
    4141      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    4242      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    4343      this.Controls.Add(this.ganttChart);
    44       this.Name = "StateLogGanttChartView";
    45       this.Size = new System.Drawing.Size(518, 307);
     44      this.Name = "StateLogGanttChartListView";
     45      this.Size = new System.Drawing.Size(493, 293);
    4646      this.ResumeLayout(false);
    4747

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/StateLogGanttChartView.cs

    r5718 r5779  
    6161        ganttChart.Reset();
    6262        StateLogGanttChartListView.SetupCategories(ganttChart);
    63         var upperLimit = DateTime.FromOADate(Math.Min(Content.Max(x => x.DateTime).ToOADate(), DateTime.Now.AddSeconds(10).ToOADate()));
     63        if (Content.Count > 0) {
     64          var upperLimit = DateTime.FromOADate(Math.Min(Content.Max(x => x.DateTime).ToOADate(), DateTime.Now.AddSeconds(10).ToOADate()));
    6465
    65         for (int i = 0; i < Content.Count-1; i++) {
    66           StateLogGanttChartListView.AddData(ganttChart, i.ToString(), Content[i], Content[i+1], upperLimit);
     66          for (int i = 0; i < Content.Count - 1; i++) {
     67            StateLogGanttChartListView.AddData(ganttChart, i.ToString(), Content[i], Content[i + 1], upperLimit);
     68          }
     69          StateLogGanttChartListView.AddData(ganttChart, (Content.Count - 1).ToString(), Content[Content.Count - 1], null, upperLimit);
    6770        }
    68         StateLogGanttChartListView.AddData(ganttChart, (Content.Count - 1).ToString(), Content[Content.Count - 1], null, upperLimit);
    6971      }
    7072    }

  • branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/StateLogGanttChartView.designer.cs

    r5636 r5779  
    3434      this.ganttChart.Location = new System.Drawing.Point(0, 0);
    3535      this.ganttChart.Name = "ganttChart";
    36       this.ganttChart.Size = new System.Drawing.Size(518, 307);
     36      this.ganttChart.Size = new System.Drawing.Size(533, 302);
    3737      this.ganttChart.TabIndex = 0;
    3838      //
    … …  
    4343      this.Controls.Add(this.ganttChart);
    4444      this.Name = "StateLogGanttChartView";
    45       this.Size = new System.Drawing.Size(518, 307);
     45      this.Size = new System.Drawing.Size(533, 302);
    4646      this.ResumeLayout(false);
    4747
Note: See TracChangeset for help on using the changeset viewer.