| 1 | namespace HeuristicLab.Clients.Hive.Views {
|
|---|
| 2 | partial class HiveJobView {
|
|---|
| 3 | /// <summary>
|
|---|
| 4 | /// Required designer variable.
|
|---|
| 5 | /// </summary>
|
|---|
| 6 | private System.ComponentModel.IContainer components = null;
|
|---|
| 7 |
|
|---|
| 8 | /// <summary>
|
|---|
| 9 | /// Clean up any resources being used.
|
|---|
| 10 | /// </summary>
|
|---|
| 11 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
|---|
| 12 | protected override void Dispose(bool disposing) {
|
|---|
| 13 | if (disposing && (components != null)) {
|
|---|
| 14 | components.Dispose();
|
|---|
| 15 | }
|
|---|
| 16 | base.Dispose(disposing);
|
|---|
| 17 | }
|
|---|
| 18 |
|
|---|
| 19 | #region Component Designer generated code
|
|---|
| 20 |
|
|---|
| 21 | /// <summary>
|
|---|
| 22 | /// Required method for Designer support - do not modify
|
|---|
| 23 | /// the contents of this method with the code editor.
|
|---|
| 24 | /// </summary>
|
|---|
| 25 | private void InitializeComponent() {
|
|---|
| 26 | System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(HiveJobView));
|
|---|
| 27 | this.logTabPage = new System.Windows.Forms.TabPage();
|
|---|
| 28 | this.logView = new HeuristicLab.Core.Views.LogView();
|
|---|
| 29 | this.stateLogTabPage = new System.Windows.Forms.TabPage();
|
|---|
| 30 | this.stateLogViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
|
|---|
| 31 | this.runsTabPage = new System.Windows.Forms.TabPage();
|
|---|
| 32 | this.runCollectionViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
|
|---|
| 33 | this.detailsTabPage = new System.Windows.Forms.TabPage();
|
|---|
| 34 | this.restartButton = new System.Windows.Forms.Button();
|
|---|
| 35 | this.pauseButton = new System.Windows.Forms.Button();
|
|---|
| 36 | this.stopButton = new System.Windows.Forms.Button();
|
|---|
| 37 | this.optimizerGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 38 | this.showOptimizerButton = new System.Windows.Forms.Button();
|
|---|
| 39 | this.lastUpdatedTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 40 | this.lastUpdatedLabel = new System.Windows.Forms.Label();
|
|---|
| 41 | this.optimizerNamedItemView = new HeuristicLab.Core.Views.NamedItemView();
|
|---|
| 42 | this.configurationGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 43 | this.priorityTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 44 | this.priorityLabel = new System.Windows.Forms.Label();
|
|---|
| 45 | this.coresNeededTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 46 | this.memoryNeededTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 47 | this.memoryNeededLabel = new System.Windows.Forms.Label();
|
|---|
| 48 | this.coresNeededLabel = new System.Windows.Forms.Label();
|
|---|
| 49 | this.computeInParallelLabel = new System.Windows.Forms.Label();
|
|---|
| 50 | this.computeInParallelCheckBox = new System.Windows.Forms.CheckBox();
|
|---|
| 51 | this.jobIdLabel = new System.Windows.Forms.Label();
|
|---|
| 52 | this.jobIdTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 53 | this.jobStatusGroupBox = new System.Windows.Forms.GroupBox();
|
|---|
| 54 | this.stateTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 55 | this.dateCalculatedLabel = new System.Windows.Forms.Label();
|
|---|
| 56 | this.stateLabel = new System.Windows.Forms.Label();
|
|---|
| 57 | this.dateCalculatedText = new System.Windows.Forms.TextBox();
|
|---|
| 58 | this.dateFinishedTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 59 | this.executionTimeTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 60 | this.dateCreatedTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 61 | this.executionTimeLabel = new System.Windows.Forms.Label();
|
|---|
| 62 | this.exceptionLabel = new System.Windows.Forms.Label();
|
|---|
| 63 | this.dateCreatedLabel = new System.Windows.Forms.Label();
|
|---|
| 64 | this.dateFinishedLabel = new System.Windows.Forms.Label();
|
|---|
| 65 | this.exceptionTextBox = new System.Windows.Forms.TextBox();
|
|---|
| 66 | this.tabControl = new System.Windows.Forms.TabControl();
|
|---|
| 67 | this.splitContainer1 = new System.Windows.Forms.SplitContainer();
|
|---|
| 68 | this.logTabPage.SuspendLayout();
|
|---|
| 69 | this.stateLogTabPage.SuspendLayout();
|
|---|
| 70 | this.runsTabPage.SuspendLayout();
|
|---|
| 71 | this.detailsTabPage.SuspendLayout();
|
|---|
| 72 | this.optimizerGroupBox.SuspendLayout();
|
|---|
| 73 | this.configurationGroupBox.SuspendLayout();
|
|---|
| 74 | this.jobStatusGroupBox.SuspendLayout();
|
|---|
| 75 | this.tabControl.SuspendLayout();
|
|---|
| 76 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
|
|---|
| 77 | this.splitContainer1.Panel1.SuspendLayout();
|
|---|
| 78 | this.splitContainer1.Panel2.SuspendLayout();
|
|---|
| 79 | this.splitContainer1.SuspendLayout();
|
|---|
| 80 | this.SuspendLayout();
|
|---|
| 81 | //
|
|---|
| 82 | // logTabPage
|
|---|
| 83 | //
|
|---|
| 84 | this.logTabPage.Controls.Add(this.logView);
|
|---|
| 85 | this.logTabPage.Location = new System.Drawing.Point(4, 22);
|
|---|
| 86 | this.logTabPage.Name = "logTabPage";
|
|---|
| 87 | this.logTabPage.Padding = new System.Windows.Forms.Padding(3);
|
|---|
| 88 | this.logTabPage.Size = new System.Drawing.Size(611, 492);
|
|---|
| 89 | this.logTabPage.TabIndex = 1;
|
|---|
| 90 | this.logTabPage.Text = "Log";
|
|---|
| 91 | this.logTabPage.UseVisualStyleBackColor = true;
|
|---|
| 92 | //
|
|---|
| 93 | // logView
|
|---|
| 94 | //
|
|---|
| 95 | this.logView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 96 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 97 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 98 | this.logView.Caption = "Log View";
|
|---|
| 99 | this.logView.Content = null;
|
|---|
| 100 | this.logView.Location = new System.Drawing.Point(3, 3);
|
|---|
| 101 | this.logView.Name = "logView";
|
|---|
| 102 | this.logView.ReadOnly = false;
|
|---|
| 103 | this.logView.Size = new System.Drawing.Size(613, 486);
|
|---|
| 104 | this.logView.TabIndex = 0;
|
|---|
| 105 | //
|
|---|
| 106 | // stateLogTabPage
|
|---|
| 107 | //
|
|---|
| 108 | this.stateLogTabPage.Controls.Add(this.stateLogViewHost);
|
|---|
| 109 | this.stateLogTabPage.Location = new System.Drawing.Point(4, 22);
|
|---|
| 110 | this.stateLogTabPage.Name = "stateLogTabPage";
|
|---|
| 111 | this.stateLogTabPage.Size = new System.Drawing.Size(611, 492);
|
|---|
| 112 | this.stateLogTabPage.TabIndex = 5;
|
|---|
| 113 | this.stateLogTabPage.Text = "State";
|
|---|
| 114 | this.stateLogTabPage.UseVisualStyleBackColor = true;
|
|---|
| 115 | //
|
|---|
| 116 | // stateLogViewHost
|
|---|
| 117 | //
|
|---|
| 118 | this.stateLogViewHost.Caption = "View";
|
|---|
| 119 | this.stateLogViewHost.Content = null;
|
|---|
| 120 | this.stateLogViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 121 | this.stateLogViewHost.Enabled = false;
|
|---|
| 122 | this.stateLogViewHost.Location = new System.Drawing.Point(0, 0);
|
|---|
| 123 | this.stateLogViewHost.Name = "stateLogViewHost";
|
|---|
| 124 | this.stateLogViewHost.ReadOnly = false;
|
|---|
| 125 | this.stateLogViewHost.Size = new System.Drawing.Size(611, 492);
|
|---|
| 126 | this.stateLogViewHost.TabIndex = 0;
|
|---|
| 127 | this.stateLogViewHost.ViewsLabelVisible = true;
|
|---|
| 128 | this.stateLogViewHost.ViewType = null;
|
|---|
| 129 | //
|
|---|
| 130 | // runsTabPage
|
|---|
| 131 | //
|
|---|
| 132 | this.runsTabPage.Controls.Add(this.runCollectionViewHost);
|
|---|
| 133 | this.runsTabPage.Location = new System.Drawing.Point(4, 22);
|
|---|
| 134 | this.runsTabPage.Name = "runsTabPage";
|
|---|
| 135 | this.runsTabPage.Size = new System.Drawing.Size(611, 492);
|
|---|
| 136 | this.runsTabPage.TabIndex = 4;
|
|---|
| 137 | this.runsTabPage.Text = "Runs";
|
|---|
| 138 | this.runsTabPage.UseVisualStyleBackColor = true;
|
|---|
| 139 | //
|
|---|
| 140 | // runCollectionViewHost
|
|---|
| 141 | //
|
|---|
| 142 | this.runCollectionViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 143 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 144 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 145 | this.runCollectionViewHost.Caption = "View";
|
|---|
| 146 | this.runCollectionViewHost.Content = null;
|
|---|
| 147 | this.runCollectionViewHost.Enabled = false;
|
|---|
| 148 | this.runCollectionViewHost.Location = new System.Drawing.Point(3, 3);
|
|---|
| 149 | this.runCollectionViewHost.Name = "runCollectionViewHost";
|
|---|
| 150 | this.runCollectionViewHost.ReadOnly = false;
|
|---|
| 151 | this.runCollectionViewHost.Size = new System.Drawing.Size(613, 486);
|
|---|
| 152 | this.runCollectionViewHost.TabIndex = 0;
|
|---|
| 153 | this.runCollectionViewHost.ViewsLabelVisible = true;
|
|---|
| 154 | this.runCollectionViewHost.ViewType = null;
|
|---|
| 155 | //
|
|---|
| 156 | // detailsTabPage
|
|---|
| 157 | //
|
|---|
| 158 | this.detailsTabPage.Controls.Add(this.splitContainer1);
|
|---|
| 159 | this.detailsTabPage.Controls.Add(this.restartButton);
|
|---|
| 160 | this.detailsTabPage.Controls.Add(this.pauseButton);
|
|---|
| 161 | this.detailsTabPage.Controls.Add(this.stopButton);
|
|---|
| 162 | this.detailsTabPage.Controls.Add(this.optimizerGroupBox);
|
|---|
| 163 | this.detailsTabPage.Controls.Add(this.jobIdLabel);
|
|---|
| 164 | this.detailsTabPage.Controls.Add(this.jobIdTextBox);
|
|---|
| 165 | this.detailsTabPage.Location = new System.Drawing.Point(4, 22);
|
|---|
| 166 | this.detailsTabPage.Name = "detailsTabPage";
|
|---|
| 167 | this.detailsTabPage.Padding = new System.Windows.Forms.Padding(3);
|
|---|
| 168 | this.detailsTabPage.Size = new System.Drawing.Size(563, 375);
|
|---|
| 169 | this.detailsTabPage.TabIndex = 0;
|
|---|
| 170 | this.detailsTabPage.Text = "Details";
|
|---|
| 171 | this.detailsTabPage.UseVisualStyleBackColor = true;
|
|---|
| 172 | //
|
|---|
| 173 | // restartButton
|
|---|
| 174 | //
|
|---|
| 175 | this.restartButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
|---|
| 176 | this.restartButton.Image = ((System.Drawing.Image)(resources.GetObject("restartButton.Image")));
|
|---|
| 177 | this.restartButton.Location = new System.Drawing.Point(3, 348);
|
|---|
| 178 | this.restartButton.Name = "restartButton";
|
|---|
| 179 | this.restartButton.Size = new System.Drawing.Size(24, 24);
|
|---|
| 180 | this.restartButton.TabIndex = 30;
|
|---|
| 181 | this.restartButton.UseVisualStyleBackColor = true;
|
|---|
| 182 | this.restartButton.Click += new System.EventHandler(this.restartButton_Click);
|
|---|
| 183 | //
|
|---|
| 184 | // pauseButton
|
|---|
| 185 | //
|
|---|
| 186 | this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
|---|
| 187 | this.pauseButton.Enabled = false;
|
|---|
| 188 | this.pauseButton.Image = ((System.Drawing.Image)(resources.GetObject("pauseButton.Image")));
|
|---|
| 189 | this.pauseButton.Location = new System.Drawing.Point(33, 348);
|
|---|
| 190 | this.pauseButton.Name = "pauseButton";
|
|---|
| 191 | this.pauseButton.Size = new System.Drawing.Size(24, 24);
|
|---|
| 192 | this.pauseButton.TabIndex = 31;
|
|---|
| 193 | this.pauseButton.UseVisualStyleBackColor = true;
|
|---|
| 194 | this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
|
|---|
| 195 | //
|
|---|
| 196 | // stopButton
|
|---|
| 197 | //
|
|---|
| 198 | this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
|---|
| 199 | this.stopButton.Image = ((System.Drawing.Image)(resources.GetObject("stopButton.Image")));
|
|---|
| 200 | this.stopButton.Location = new System.Drawing.Point(63, 348);
|
|---|
| 201 | this.stopButton.Name = "stopButton";
|
|---|
| 202 | this.stopButton.Size = new System.Drawing.Size(24, 24);
|
|---|
| 203 | this.stopButton.TabIndex = 32;
|
|---|
| 204 | this.stopButton.UseVisualStyleBackColor = true;
|
|---|
| 205 | this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
|
|---|
| 206 | //
|
|---|
| 207 | // optimizerGroupBox
|
|---|
| 208 | //
|
|---|
| 209 | this.optimizerGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 210 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 211 | this.optimizerGroupBox.Controls.Add(this.showOptimizerButton);
|
|---|
| 212 | this.optimizerGroupBox.Controls.Add(this.lastUpdatedTextBox);
|
|---|
| 213 | this.optimizerGroupBox.Controls.Add(this.lastUpdatedLabel);
|
|---|
| 214 | this.optimizerGroupBox.Controls.Add(this.optimizerNamedItemView);
|
|---|
| 215 | this.optimizerGroupBox.Location = new System.Drawing.Point(6, 29);
|
|---|
| 216 | this.optimizerGroupBox.Name = "optimizerGroupBox";
|
|---|
| 217 | this.optimizerGroupBox.Size = new System.Drawing.Size(551, 129);
|
|---|
| 218 | this.optimizerGroupBox.TabIndex = 28;
|
|---|
| 219 | this.optimizerGroupBox.TabStop = false;
|
|---|
| 220 | this.optimizerGroupBox.Text = "Optimizer";
|
|---|
| 221 | //
|
|---|
| 222 | // showOptimizerButton
|
|---|
| 223 | //
|
|---|
| 224 | this.showOptimizerButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 225 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 226 | this.showOptimizerButton.Location = new System.Drawing.Point(78, 99);
|
|---|
| 227 | this.showOptimizerButton.Name = "showOptimizerButton";
|
|---|
| 228 | this.showOptimizerButton.Size = new System.Drawing.Size(467, 23);
|
|---|
| 229 | this.showOptimizerButton.TabIndex = 3;
|
|---|
| 230 | this.showOptimizerButton.Text = "Show Optimizer";
|
|---|
| 231 | this.showOptimizerButton.UseVisualStyleBackColor = true;
|
|---|
| 232 | this.showOptimizerButton.Click += new System.EventHandler(this.showOptimizerButton_Click);
|
|---|
| 233 | //
|
|---|
| 234 | // lastUpdatedTextBox
|
|---|
| 235 | //
|
|---|
| 236 | this.lastUpdatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 237 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 238 | this.lastUpdatedTextBox.Location = new System.Drawing.Point(78, 73);
|
|---|
| 239 | this.lastUpdatedTextBox.Name = "lastUpdatedTextBox";
|
|---|
| 240 | this.lastUpdatedTextBox.Size = new System.Drawing.Size(467, 20);
|
|---|
| 241 | this.lastUpdatedTextBox.TabIndex = 2;
|
|---|
| 242 | //
|
|---|
| 243 | // lastUpdatedLabel
|
|---|
| 244 | //
|
|---|
| 245 | this.lastUpdatedLabel.AutoSize = true;
|
|---|
| 246 | this.lastUpdatedLabel.Location = new System.Drawing.Point(9, 76);
|
|---|
| 247 | this.lastUpdatedLabel.Name = "lastUpdatedLabel";
|
|---|
| 248 | this.lastUpdatedLabel.Size = new System.Drawing.Size(71, 13);
|
|---|
| 249 | this.lastUpdatedLabel.TabIndex = 1;
|
|---|
| 250 | this.lastUpdatedLabel.Text = "LastUpdated:";
|
|---|
| 251 | //
|
|---|
| 252 | // optimizerNamedItemView
|
|---|
| 253 | //
|
|---|
| 254 | this.optimizerNamedItemView.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 255 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 256 | this.optimizerNamedItemView.Caption = "NamedItem View";
|
|---|
| 257 | this.optimizerNamedItemView.Content = null;
|
|---|
| 258 | this.optimizerNamedItemView.Location = new System.Drawing.Point(6, 20);
|
|---|
| 259 | this.optimizerNamedItemView.Name = "optimizerNamedItemView";
|
|---|
| 260 | this.optimizerNamedItemView.ReadOnly = false;
|
|---|
| 261 | this.optimizerNamedItemView.Size = new System.Drawing.Size(539, 51);
|
|---|
| 262 | this.optimizerNamedItemView.TabIndex = 0;
|
|---|
| 263 | //
|
|---|
| 264 | // configurationGroupBox
|
|---|
| 265 | //
|
|---|
| 266 | this.configurationGroupBox.Controls.Add(this.priorityTextBox);
|
|---|
| 267 | this.configurationGroupBox.Controls.Add(this.priorityLabel);
|
|---|
| 268 | this.configurationGroupBox.Controls.Add(this.coresNeededTextBox);
|
|---|
| 269 | this.configurationGroupBox.Controls.Add(this.memoryNeededTextBox);
|
|---|
| 270 | this.configurationGroupBox.Controls.Add(this.memoryNeededLabel);
|
|---|
| 271 | this.configurationGroupBox.Controls.Add(this.coresNeededLabel);
|
|---|
| 272 | this.configurationGroupBox.Controls.Add(this.computeInParallelLabel);
|
|---|
| 273 | this.configurationGroupBox.Controls.Add(this.computeInParallelCheckBox);
|
|---|
| 274 | this.configurationGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 275 | this.configurationGroupBox.Location = new System.Drawing.Point(0, 0);
|
|---|
| 276 | this.configurationGroupBox.Name = "configurationGroupBox";
|
|---|
| 277 | this.configurationGroupBox.Size = new System.Drawing.Size(275, 155);
|
|---|
| 278 | this.configurationGroupBox.TabIndex = 27;
|
|---|
| 279 | this.configurationGroupBox.TabStop = false;
|
|---|
| 280 | this.configurationGroupBox.Text = "Configuration";
|
|---|
| 281 | //
|
|---|
| 282 | // priorityTextBox
|
|---|
| 283 | //
|
|---|
| 284 | this.priorityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 285 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 286 | this.priorityTextBox.Location = new System.Drawing.Point(108, 66);
|
|---|
| 287 | this.priorityTextBox.Name = "priorityTextBox";
|
|---|
| 288 | this.priorityTextBox.Size = new System.Drawing.Size(161, 20);
|
|---|
| 289 | this.priorityTextBox.TabIndex = 41;
|
|---|
| 290 | //
|
|---|
| 291 | // priorityLabel
|
|---|
| 292 | //
|
|---|
| 293 | this.priorityLabel.AutoSize = true;
|
|---|
| 294 | this.priorityLabel.Location = new System.Drawing.Point(7, 66);
|
|---|
| 295 | this.priorityLabel.Name = "priorityLabel";
|
|---|
| 296 | this.priorityLabel.Size = new System.Drawing.Size(41, 13);
|
|---|
| 297 | this.priorityLabel.TabIndex = 42;
|
|---|
| 298 | this.priorityLabel.Text = "Priority:";
|
|---|
| 299 | //
|
|---|
| 300 | // coresNeededTextBox
|
|---|
| 301 | //
|
|---|
| 302 | this.coresNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 303 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 304 | this.coresNeededTextBox.Location = new System.Drawing.Point(108, 20);
|
|---|
| 305 | this.coresNeededTextBox.Name = "coresNeededTextBox";
|
|---|
| 306 | this.coresNeededTextBox.Size = new System.Drawing.Size(161, 20);
|
|---|
| 307 | this.coresNeededTextBox.TabIndex = 37;
|
|---|
| 308 | //
|
|---|
| 309 | // memoryNeededTextBox
|
|---|
| 310 | //
|
|---|
| 311 | this.memoryNeededTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 312 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 313 | this.memoryNeededTextBox.Location = new System.Drawing.Point(108, 42);
|
|---|
| 314 | this.memoryNeededTextBox.Name = "memoryNeededTextBox";
|
|---|
| 315 | this.memoryNeededTextBox.Size = new System.Drawing.Size(161, 20);
|
|---|
| 316 | this.memoryNeededTextBox.TabIndex = 38;
|
|---|
| 317 | //
|
|---|
| 318 | // memoryNeededLabel
|
|---|
| 319 | //
|
|---|
| 320 | this.memoryNeededLabel.AutoSize = true;
|
|---|
| 321 | this.memoryNeededLabel.Location = new System.Drawing.Point(7, 42);
|
|---|
| 322 | this.memoryNeededLabel.Name = "memoryNeededLabel";
|
|---|
| 323 | this.memoryNeededLabel.Size = new System.Drawing.Size(85, 13);
|
|---|
| 324 | this.memoryNeededLabel.TabIndex = 40;
|
|---|
| 325 | this.memoryNeededLabel.Text = "MemoryNeeded:";
|
|---|
| 326 | //
|
|---|
| 327 | // coresNeededLabel
|
|---|
| 328 | //
|
|---|
| 329 | this.coresNeededLabel.AutoSize = true;
|
|---|
| 330 | this.coresNeededLabel.Location = new System.Drawing.Point(7, 20);
|
|---|
| 331 | this.coresNeededLabel.Name = "coresNeededLabel";
|
|---|
| 332 | this.coresNeededLabel.Size = new System.Drawing.Size(75, 13);
|
|---|
| 333 | this.coresNeededLabel.TabIndex = 39;
|
|---|
| 334 | this.coresNeededLabel.Text = "CoresNeeded:";
|
|---|
| 335 | //
|
|---|
| 336 | // computeInParallelLabel
|
|---|
| 337 | //
|
|---|
| 338 | this.computeInParallelLabel.AutoSize = true;
|
|---|
| 339 | this.computeInParallelLabel.Location = new System.Drawing.Point(7, 93);
|
|---|
| 340 | this.computeInParallelLabel.Name = "computeInParallelLabel";
|
|---|
| 341 | this.computeInParallelLabel.Size = new System.Drawing.Size(95, 13);
|
|---|
| 342 | this.computeInParallelLabel.TabIndex = 36;
|
|---|
| 343 | this.computeInParallelLabel.Text = "ComputeInParallel:";
|
|---|
| 344 | //
|
|---|
| 345 | // computeInParallelCheckBox
|
|---|
| 346 | //
|
|---|
| 347 | this.computeInParallelCheckBox.AutoSize = true;
|
|---|
| 348 | this.computeInParallelCheckBox.Location = new System.Drawing.Point(108, 92);
|
|---|
| 349 | this.computeInParallelCheckBox.Name = "computeInParallelCheckBox";
|
|---|
| 350 | this.computeInParallelCheckBox.Size = new System.Drawing.Size(15, 14);
|
|---|
| 351 | this.computeInParallelCheckBox.TabIndex = 35;
|
|---|
| 352 | this.computeInParallelCheckBox.UseVisualStyleBackColor = true;
|
|---|
| 353 | this.computeInParallelCheckBox.CheckedChanged += new System.EventHandler(this.computeInParallelCheckBox_CheckedChanged);
|
|---|
| 354 | //
|
|---|
| 355 | // jobIdLabel
|
|---|
| 356 | //
|
|---|
| 357 | this.jobIdLabel.AutoSize = true;
|
|---|
| 358 | this.jobIdLabel.Location = new System.Drawing.Point(3, 6);
|
|---|
| 359 | this.jobIdLabel.Name = "jobIdLabel";
|
|---|
| 360 | this.jobIdLabel.Size = new System.Drawing.Size(36, 13);
|
|---|
| 361 | this.jobIdLabel.TabIndex = 25;
|
|---|
| 362 | this.jobIdLabel.Text = "JobId:";
|
|---|
| 363 | //
|
|---|
| 364 | // jobIdTextBox
|
|---|
| 365 | //
|
|---|
| 366 | this.jobIdTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 367 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 368 | this.jobIdTextBox.Location = new System.Drawing.Point(91, 6);
|
|---|
| 369 | this.jobIdTextBox.Name = "jobIdTextBox";
|
|---|
| 370 | this.jobIdTextBox.Size = new System.Drawing.Size(466, 20);
|
|---|
| 371 | this.jobIdTextBox.TabIndex = 26;
|
|---|
| 372 | //
|
|---|
| 373 | // jobStatusGroupBox
|
|---|
| 374 | //
|
|---|
| 375 | this.jobStatusGroupBox.Controls.Add(this.stateTextBox);
|
|---|
| 376 | this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel);
|
|---|
| 377 | this.jobStatusGroupBox.Controls.Add(this.stateLabel);
|
|---|
| 378 | this.jobStatusGroupBox.Controls.Add(this.dateCalculatedText);
|
|---|
| 379 | this.jobStatusGroupBox.Controls.Add(this.dateFinishedTextBox);
|
|---|
| 380 | this.jobStatusGroupBox.Controls.Add(this.executionTimeTextBox);
|
|---|
| 381 | this.jobStatusGroupBox.Controls.Add(this.dateCreatedTextBox);
|
|---|
| 382 | this.jobStatusGroupBox.Controls.Add(this.executionTimeLabel);
|
|---|
| 383 | this.jobStatusGroupBox.Controls.Add(this.exceptionLabel);
|
|---|
| 384 | this.jobStatusGroupBox.Controls.Add(this.dateCreatedLabel);
|
|---|
| 385 | this.jobStatusGroupBox.Controls.Add(this.dateFinishedLabel);
|
|---|
| 386 | this.jobStatusGroupBox.Controls.Add(this.exceptionTextBox);
|
|---|
| 387 | this.jobStatusGroupBox.Dock = System.Windows.Forms.DockStyle.Fill;
|
|---|
| 388 | this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0);
|
|---|
| 389 | this.jobStatusGroupBox.Name = "jobStatusGroupBox";
|
|---|
| 390 | this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 155);
|
|---|
| 391 | this.jobStatusGroupBox.TabIndex = 24;
|
|---|
| 392 | this.jobStatusGroupBox.TabStop = false;
|
|---|
| 393 | this.jobStatusGroupBox.Text = "Job Status";
|
|---|
| 394 | //
|
|---|
| 395 | // stateTextBox
|
|---|
| 396 | //
|
|---|
| 397 | this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 398 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 399 | this.stateTextBox.Location = new System.Drawing.Point(95, 19);
|
|---|
| 400 | this.stateTextBox.Name = "stateTextBox";
|
|---|
| 401 | this.stateTextBox.Size = new System.Drawing.Size(171, 20);
|
|---|
| 402 | this.stateTextBox.TabIndex = 2;
|
|---|
| 403 | //
|
|---|
| 404 | // dateCalculatedLabel
|
|---|
| 405 | //
|
|---|
| 406 | this.dateCalculatedLabel.AutoSize = true;
|
|---|
| 407 | this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);
|
|---|
| 408 | this.dateCalculatedLabel.Name = "dateCalculatedLabel";
|
|---|
| 409 | this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13);
|
|---|
| 410 | this.dateCalculatedLabel.TabIndex = 23;
|
|---|
| 411 | this.dateCalculatedLabel.Text = "DateCalculated:";
|
|---|
| 412 | //
|
|---|
| 413 | // stateLabel
|
|---|
| 414 | //
|
|---|
| 415 | this.stateLabel.AutoSize = true;
|
|---|
| 416 | this.stateLabel.Location = new System.Drawing.Point(7, 19);
|
|---|
| 417 | this.stateLabel.Name = "stateLabel";
|
|---|
| 418 | this.stateLabel.Size = new System.Drawing.Size(35, 13);
|
|---|
| 419 | this.stateLabel.TabIndex = 0;
|
|---|
| 420 | this.stateLabel.Text = "State:";
|
|---|
| 421 | //
|
|---|
| 422 | // dateCalculatedText
|
|---|
| 423 | //
|
|---|
| 424 | this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 425 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 426 | this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);
|
|---|
| 427 | this.dateCalculatedText.Name = "dateCalculatedText";
|
|---|
| 428 | this.dateCalculatedText.Size = new System.Drawing.Size(171, 20);
|
|---|
| 429 | this.dateCalculatedText.TabIndex = 22;
|
|---|
| 430 | //
|
|---|
| 431 | // dateFinishedTextBox
|
|---|
| 432 | //
|
|---|
| 433 | this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 434 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 435 | this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 107);
|
|---|
| 436 | this.dateFinishedTextBox.Name = "dateFinishedTextBox";
|
|---|
| 437 | this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20);
|
|---|
| 438 | this.dateFinishedTextBox.TabIndex = 6;
|
|---|
| 439 | //
|
|---|
| 440 | // executionTimeTextBox
|
|---|
| 441 | //
|
|---|
| 442 | this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 443 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 444 | this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);
|
|---|
| 445 | this.executionTimeTextBox.Name = "executionTimeTextBox";
|
|---|
| 446 | this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20);
|
|---|
| 447 | this.executionTimeTextBox.TabIndex = 4;
|
|---|
| 448 | //
|
|---|
| 449 | // dateCreatedTextBox
|
|---|
| 450 | //
|
|---|
| 451 | this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 452 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 453 | this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);
|
|---|
| 454 | this.dateCreatedTextBox.Name = "dateCreatedTextBox";
|
|---|
| 455 | this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20);
|
|---|
| 456 | this.dateCreatedTextBox.TabIndex = 5;
|
|---|
| 457 | //
|
|---|
| 458 | // executionTimeLabel
|
|---|
| 459 | //
|
|---|
| 460 | this.executionTimeLabel.AutoSize = true;
|
|---|
| 461 | this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);
|
|---|
| 462 | this.executionTimeLabel.Name = "executionTimeLabel";
|
|---|
| 463 | this.executionTimeLabel.Size = new System.Drawing.Size(80, 13);
|
|---|
| 464 | this.executionTimeLabel.TabIndex = 13;
|
|---|
| 465 | this.executionTimeLabel.Text = "ExecutionTime:";
|
|---|
| 466 | //
|
|---|
| 467 | // exceptionLabel
|
|---|
| 468 | //
|
|---|
| 469 | this.exceptionLabel.AutoSize = true;
|
|---|
| 470 | this.exceptionLabel.Location = new System.Drawing.Point(7, 129);
|
|---|
| 471 | this.exceptionLabel.Name = "exceptionLabel";
|
|---|
| 472 | this.exceptionLabel.Size = new System.Drawing.Size(57, 13);
|
|---|
| 473 | this.exceptionLabel.TabIndex = 19;
|
|---|
| 474 | this.exceptionLabel.Text = "Exception:";
|
|---|
| 475 | //
|
|---|
| 476 | // dateCreatedLabel
|
|---|
| 477 | //
|
|---|
| 478 | this.dateCreatedLabel.AutoSize = true;
|
|---|
| 479 | this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);
|
|---|
| 480 | this.dateCreatedLabel.Name = "dateCreatedLabel";
|
|---|
| 481 | this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13);
|
|---|
| 482 | this.dateCreatedLabel.TabIndex = 14;
|
|---|
| 483 | this.dateCreatedLabel.Text = "DateCreated:";
|
|---|
| 484 | //
|
|---|
| 485 | // dateFinishedLabel
|
|---|
| 486 | //
|
|---|
| 487 | this.dateFinishedLabel.AutoSize = true;
|
|---|
| 488 | this.dateFinishedLabel.Location = new System.Drawing.Point(7, 107);
|
|---|
| 489 | this.dateFinishedLabel.Name = "dateFinishedLabel";
|
|---|
| 490 | this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13);
|
|---|
| 491 | this.dateFinishedLabel.TabIndex = 15;
|
|---|
| 492 | this.dateFinishedLabel.Text = "DateFinished:";
|
|---|
| 493 | //
|
|---|
| 494 | // exceptionTextBox
|
|---|
| 495 | //
|
|---|
| 496 | this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 497 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 498 | this.exceptionTextBox.Location = new System.Drawing.Point(95, 129);
|
|---|
| 499 | this.exceptionTextBox.Name = "exceptionTextBox";
|
|---|
| 500 | this.exceptionTextBox.Size = new System.Drawing.Size(171, 20);
|
|---|
| 501 | this.exceptionTextBox.TabIndex = 10;
|
|---|
| 502 | this.exceptionTextBox.DoubleClick += new System.EventHandler(this.exceptionTextBox_DoubleClick);
|
|---|
| 503 | //
|
|---|
| 504 | // tabControl
|
|---|
| 505 | //
|
|---|
| 506 | this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
|---|
| 507 | | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 508 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 509 | this.tabControl.Controls.Add(this.detailsTabPage);
|
|---|
| 510 | this.tabControl.Controls.Add(this.stateLogTabPage);
|
|---|
| 511 | this.tabControl.Controls.Add(this.runsTabPage);
|
|---|
| 512 | this.tabControl.Controls.Add(this.logTabPage);
|
|---|
| 513 | this.tabControl.Location = new System.Drawing.Point(3, 3);
|
|---|
| 514 | this.tabControl.Name = "tabControl";
|
|---|
| 515 | this.tabControl.SelectedIndex = 0;
|
|---|
| 516 | this.tabControl.Size = new System.Drawing.Size(571, 401);
|
|---|
| 517 | this.tabControl.TabIndex = 25;
|
|---|
| 518 | //
|
|---|
| 519 | // splitContainer1
|
|---|
| 520 | //
|
|---|
| 521 | this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
|---|
| 522 | | System.Windows.Forms.AnchorStyles.Right)));
|
|---|
| 523 | this.splitContainer1.Location = new System.Drawing.Point(6, 164);
|
|---|
| 524 | this.splitContainer1.Name = "splitContainer1";
|
|---|
| 525 | //
|
|---|
| 526 | // splitContainer1.Panel1
|
|---|
| 527 | //
|
|---|
| 528 | this.splitContainer1.Panel1.Controls.Add(this.configurationGroupBox);
|
|---|
| 529 | //
|
|---|
| 530 | // splitContainer1.Panel2
|
|---|
| 531 | //
|
|---|
| 532 | this.splitContainer1.Panel2.Controls.Add(this.jobStatusGroupBox);
|
|---|
| 533 | this.splitContainer1.Size = new System.Drawing.Size(551, 155);
|
|---|
| 534 | this.splitContainer1.SplitterDistance = 275;
|
|---|
| 535 | this.splitContainer1.TabIndex = 33;
|
|---|
| 536 | //
|
|---|
| 537 | // HiveJobView
|
|---|
| 538 | //
|
|---|
| 539 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
|---|
| 540 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
|---|
| 541 | this.Controls.Add(this.tabControl);
|
|---|
| 542 | this.Name = "HiveJobView";
|
|---|
| 543 | this.Size = new System.Drawing.Size(577, 407);
|
|---|
| 544 | this.logTabPage.ResumeLayout(false);
|
|---|
| 545 | this.stateLogTabPage.ResumeLayout(false);
|
|---|
| 546 | this.runsTabPage.ResumeLayout(false);
|
|---|
| 547 | this.detailsTabPage.ResumeLayout(false);
|
|---|
| 548 | this.detailsTabPage.PerformLayout();
|
|---|
| 549 | this.optimizerGroupBox.ResumeLayout(false);
|
|---|
| 550 | this.optimizerGroupBox.PerformLayout();
|
|---|
| 551 | this.configurationGroupBox.ResumeLayout(false);
|
|---|
| 552 | this.configurationGroupBox.PerformLayout();
|
|---|
| 553 | this.jobStatusGroupBox.ResumeLayout(false);
|
|---|
| 554 | this.jobStatusGroupBox.PerformLayout();
|
|---|
| 555 | this.tabControl.ResumeLayout(false);
|
|---|
| 556 | this.splitContainer1.Panel1.ResumeLayout(false);
|
|---|
| 557 | this.splitContainer1.Panel2.ResumeLayout(false);
|
|---|
| 558 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
|
|---|
| 559 | this.splitContainer1.ResumeLayout(false);
|
|---|
| 560 | this.ResumeLayout(false);
|
|---|
| 561 |
|
|---|
| 562 | }
|
|---|
| 563 |
|
|---|
| 564 | #endregion
|
|---|
| 565 |
|
|---|
| 566 | private System.Windows.Forms.TabPage logTabPage;
|
|---|
| 567 | private Core.Views.LogView logView;
|
|---|
| 568 | private System.Windows.Forms.TabPage stateLogTabPage;
|
|---|
| 569 | private MainForm.WindowsForms.ViewHost stateLogViewHost;
|
|---|
| 570 | private System.Windows.Forms.TabPage runsTabPage;
|
|---|
| 571 | private MainForm.WindowsForms.ViewHost runCollectionViewHost;
|
|---|
| 572 | private System.Windows.Forms.TabPage detailsTabPage;
|
|---|
| 573 | private System.Windows.Forms.GroupBox optimizerGroupBox;
|
|---|
| 574 | private Core.Views.NamedItemView optimizerNamedItemView;
|
|---|
| 575 | private System.Windows.Forms.GroupBox configurationGroupBox;
|
|---|
| 576 | private System.Windows.Forms.TextBox priorityTextBox;
|
|---|
| 577 | private System.Windows.Forms.Label priorityLabel;
|
|---|
| 578 | private System.Windows.Forms.TextBox coresNeededTextBox;
|
|---|
| 579 | private System.Windows.Forms.TextBox memoryNeededTextBox;
|
|---|
| 580 | private System.Windows.Forms.Label memoryNeededLabel;
|
|---|
| 581 | private System.Windows.Forms.Label coresNeededLabel;
|
|---|
| 582 | private System.Windows.Forms.Label computeInParallelLabel;
|
|---|
| 583 | private System.Windows.Forms.CheckBox computeInParallelCheckBox;
|
|---|
| 584 | private System.Windows.Forms.Label jobIdLabel;
|
|---|
| 585 | private System.Windows.Forms.TextBox jobIdTextBox;
|
|---|
| 586 | private System.Windows.Forms.GroupBox jobStatusGroupBox;
|
|---|
| 587 | private System.Windows.Forms.TextBox stateTextBox;
|
|---|
| 588 | private System.Windows.Forms.Label stateLabel;
|
|---|
| 589 | private System.Windows.Forms.TextBox dateFinishedTextBox;
|
|---|
| 590 | private System.Windows.Forms.TextBox executionTimeTextBox;
|
|---|
| 591 | private System.Windows.Forms.Label executionTimeLabel;
|
|---|
| 592 | private System.Windows.Forms.Label exceptionLabel;
|
|---|
| 593 | private System.Windows.Forms.Label dateFinishedLabel;
|
|---|
| 594 | private System.Windows.Forms.TextBox exceptionTextBox;
|
|---|
| 595 | private System.Windows.Forms.TabControl tabControl;
|
|---|
| 596 | private System.Windows.Forms.Button restartButton;
|
|---|
| 597 | private System.Windows.Forms.Button pauseButton;
|
|---|
| 598 | private System.Windows.Forms.Button stopButton;
|
|---|
| 599 | private System.Windows.Forms.Button showOptimizerButton;
|
|---|
| 600 | private System.Windows.Forms.TextBox lastUpdatedTextBox;
|
|---|
| 601 | private System.Windows.Forms.Label lastUpdatedLabel;
|
|---|
| 602 | private System.Windows.Forms.Label dateCalculatedLabel;
|
|---|
| 603 | private System.Windows.Forms.TextBox dateCalculatedText;
|
|---|
| 604 | private System.Windows.Forms.TextBox dateCreatedTextBox;
|
|---|
| 605 | private System.Windows.Forms.Label dateCreatedLabel;
|
|---|
| 606 | private System.Windows.Forms.SplitContainer splitContainer1;
|
|---|
| 607 |
|
|---|
| 608 | }
|
|---|
| 609 | }
|
|---|
