Changeset 6168 for branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.designer.cs
- Timestamp:
- 05/09/11 14:12:10 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/HeuristicLab.Hive-3.4/sources/HeuristicLab.Clients.Hive.Views/3.4/ExperimentManager/HiveJobView.designer.cs
r6033 r6168 58 58 this.jobIdTextBox = new System.Windows.Forms.TextBox(); 59 59 this.tabControl = new System.Windows.Forms.TabControl(); 60 this.commandTextBox = new System.Windows.Forms.TextBox(); 61 this.commandLabel = new System.Windows.Forms.Label(); 60 62 this.stateLogTabPage.SuspendLayout(); 61 63 this.detailsTabPage.SuspendLayout(); … … 122 124 // 123 125 this.splitContainer1.Panel2.Controls.Add(this.jobStatusGroupBox); 124 this.splitContainer1.Size = new System.Drawing.Size(551, 1 55);126 this.splitContainer1.Size = new System.Drawing.Size(551, 178); 125 127 this.splitContainer1.SplitterDistance = 275; 126 128 this.splitContainer1.TabIndex = 33; … … 139 141 this.configurationGroupBox.Location = new System.Drawing.Point(0, 0); 140 142 this.configurationGroupBox.Name = "configurationGroupBox"; 141 this.configurationGroupBox.Size = new System.Drawing.Size(275, 1 55);143 this.configurationGroupBox.Size = new System.Drawing.Size(275, 178); 142 144 this.configurationGroupBox.TabIndex = 27; 143 145 this.configurationGroupBox.TabStop = false; … … 219 221 // jobStatusGroupBox 220 222 // 223 this.jobStatusGroupBox.Controls.Add(this.commandTextBox); 224 this.jobStatusGroupBox.Controls.Add(this.commandLabel); 221 225 this.jobStatusGroupBox.Controls.Add(this.stateTextBox); 222 226 this.jobStatusGroupBox.Controls.Add(this.dateCalculatedLabel); … … 234 238 this.jobStatusGroupBox.Location = new System.Drawing.Point(0, 0); 235 239 this.jobStatusGroupBox.Name = "jobStatusGroupBox"; 236 this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 1 55);240 this.jobStatusGroupBox.Size = new System.Drawing.Size(272, 178); 237 241 this.jobStatusGroupBox.TabIndex = 24; 238 242 this.jobStatusGroupBox.TabStop = false; … … 251 255 // 252 256 this.dateCalculatedLabel.AutoSize = true; 253 this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 85);257 this.dateCalculatedLabel.Location = new System.Drawing.Point(7, 108); 254 258 this.dateCalculatedLabel.Name = "dateCalculatedLabel"; 255 259 this.dateCalculatedLabel.Size = new System.Drawing.Size(83, 13); … … 270 274 this.dateCalculatedText.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 271 275 | System.Windows.Forms.AnchorStyles.Right))); 272 this.dateCalculatedText.Location = new System.Drawing.Point(95, 85);276 this.dateCalculatedText.Location = new System.Drawing.Point(95, 108); 273 277 this.dateCalculatedText.Name = "dateCalculatedText"; 274 278 this.dateCalculatedText.Size = new System.Drawing.Size(171, 20); … … 279 283 this.dateFinishedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 280 284 | System.Windows.Forms.AnchorStyles.Right))); 281 this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 1 07);285 this.dateFinishedTextBox.Location = new System.Drawing.Point(95, 130); 282 286 this.dateFinishedTextBox.Name = "dateFinishedTextBox"; 283 287 this.dateFinishedTextBox.Size = new System.Drawing.Size(171, 20); … … 288 292 this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 289 293 | System.Windows.Forms.AnchorStyles.Right))); 290 this.executionTimeTextBox.Location = new System.Drawing.Point(95, 41);294 this.executionTimeTextBox.Location = new System.Drawing.Point(95, 64); 291 295 this.executionTimeTextBox.Name = "executionTimeTextBox"; 292 296 this.executionTimeTextBox.Size = new System.Drawing.Size(171, 20); … … 297 301 this.dateCreatedTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 298 302 | System.Windows.Forms.AnchorStyles.Right))); 299 this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 63);303 this.dateCreatedTextBox.Location = new System.Drawing.Point(95, 86); 300 304 this.dateCreatedTextBox.Name = "dateCreatedTextBox"; 301 305 this.dateCreatedTextBox.Size = new System.Drawing.Size(171, 20); … … 305 309 // 306 310 this.executionTimeLabel.AutoSize = true; 307 this.executionTimeLabel.Location = new System.Drawing.Point(7, 41);311 this.executionTimeLabel.Location = new System.Drawing.Point(7, 64); 308 312 this.executionTimeLabel.Name = "executionTimeLabel"; 309 313 this.executionTimeLabel.Size = new System.Drawing.Size(80, 13); … … 314 318 // 315 319 this.exceptionLabel.AutoSize = true; 316 this.exceptionLabel.Location = new System.Drawing.Point(7, 1 29);320 this.exceptionLabel.Location = new System.Drawing.Point(7, 152); 317 321 this.exceptionLabel.Name = "exceptionLabel"; 318 322 this.exceptionLabel.Size = new System.Drawing.Size(57, 13); … … 323 327 // 324 328 this.dateCreatedLabel.AutoSize = true; 325 this.dateCreatedLabel.Location = new System.Drawing.Point(7, 63);329 this.dateCreatedLabel.Location = new System.Drawing.Point(7, 86); 326 330 this.dateCreatedLabel.Name = "dateCreatedLabel"; 327 331 this.dateCreatedLabel.Size = new System.Drawing.Size(70, 13); … … 332 336 // 333 337 this.dateFinishedLabel.AutoSize = true; 334 this.dateFinishedLabel.Location = new System.Drawing.Point(7, 1 07);338 this.dateFinishedLabel.Location = new System.Drawing.Point(7, 130); 335 339 this.dateFinishedLabel.Name = "dateFinishedLabel"; 336 340 this.dateFinishedLabel.Size = new System.Drawing.Size(72, 13); … … 342 346 this.exceptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 343 347 | System.Windows.Forms.AnchorStyles.Right))); 344 this.exceptionTextBox.Location = new System.Drawing.Point(95, 1 29);348 this.exceptionTextBox.Location = new System.Drawing.Point(95, 152); 345 349 this.exceptionTextBox.Name = "exceptionTextBox"; 346 350 this.exceptionTextBox.Size = new System.Drawing.Size(171, 20); … … 435 439 this.tabControl.Size = new System.Drawing.Size(571, 401); 436 440 this.tabControl.TabIndex = 25; 441 // 442 // commandTextBox 443 // 444 this.commandTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 445 | System.Windows.Forms.AnchorStyles.Right))); 446 this.commandTextBox.Location = new System.Drawing.Point(95, 41); 447 this.commandTextBox.Name = "commandTextBox"; 448 this.commandTextBox.Size = new System.Drawing.Size(171, 20); 449 this.commandTextBox.TabIndex = 24; 450 // 451 // commandLabel 452 // 453 this.commandLabel.AutoSize = true; 454 this.commandLabel.Location = new System.Drawing.Point(7, 41); 455 this.commandLabel.Name = "commandLabel"; 456 this.commandLabel.Size = new System.Drawing.Size(57, 13); 457 this.commandLabel.TabIndex = 25; 458 this.commandLabel.Text = "Command:"; 437 459 // 438 460 // HiveJobView … … 497 519 protected System.Windows.Forms.Label dateCreatedLabel; 498 520 protected System.Windows.Forms.SplitContainer splitContainer1; 521 protected System.Windows.Forms.TextBox commandTextBox; 522 protected System.Windows.Forms.Label commandLabel; 499 523 500 524 }
Note: See TracChangeset
for help on using the changeset viewer.