- Timestamp:
- 01/14/11 05:34:43 (13 years ago)
- Location:
- branches/OKB
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/OKB
- Property svn:ignore
-
old new 1 1 *.suo 2 TestResults
-
- Property svn:ignore
-
branches/OKB/HeuristicLab.Clients.OKB-3.3/Views/RunView.Designer.cs
r4943 r5295 48 48 this.randomSeedLabel = new System.Windows.Forms.Label(); 49 49 this.randomSeedTextBox = new System.Windows.Forms.TextBox(); 50 this. finishedDateLabel = new System.Windows.Forms.Label();51 this. finishedDateTextBox = new System.Windows.Forms.TextBox();50 this.createdDateLabel = new System.Windows.Forms.Label(); 51 this.createdDateTextBox = new System.Windows.Forms.TextBox(); 52 52 this.resultsListView = new System.Windows.Forms.ListView(); 53 53 this.nameColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader())); … … 81 81 this.randomSeedTextBox.TabIndex = 1; 82 82 // 83 // finishedDateLabel84 // 85 this. finishedDateLabel.AutoSize = true;86 this. finishedDateLabel.Location = new System.Drawing.Point(3, 29);87 this. finishedDateLabel.Name = "finishedDateLabel";88 this. finishedDateLabel.Size = new System.Drawing.Size(75, 13);89 this. finishedDateLabel.TabIndex = 2;90 this. finishedDateLabel.Text = "Finished Date:";91 // 92 // finishedDateTextBox93 // 94 this. finishedDateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)95 | System.Windows.Forms.AnchorStyles.Right))); 96 this. finishedDateTextBox.Location = new System.Drawing.Point(87, 26);97 this. finishedDateTextBox.Name = "finishedDateTextBox";98 this. finishedDateTextBox.ReadOnly = true;99 this. finishedDateTextBox.Size = new System.Drawing.Size(426, 20);100 this. finishedDateTextBox.TabIndex = 3;83 // createdDateLabel 84 // 85 this.createdDateLabel.AutoSize = true; 86 this.createdDateLabel.Location = new System.Drawing.Point(3, 29); 87 this.createdDateLabel.Name = "createdDateLabel"; 88 this.createdDateLabel.Size = new System.Drawing.Size(75, 13); 89 this.createdDateLabel.TabIndex = 2; 90 this.createdDateLabel.Text = "Created Date:"; 91 // 92 // createdDateTextBox 93 // 94 this.createdDateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 95 | System.Windows.Forms.AnchorStyles.Right))); 96 this.createdDateTextBox.Location = new System.Drawing.Point(87, 26); 97 this.createdDateTextBox.Name = "createdDateTextBox"; 98 this.createdDateTextBox.ReadOnly = true; 99 this.createdDateTextBox.Size = new System.Drawing.Size(426, 20); 100 this.createdDateTextBox.TabIndex = 3; 101 101 // 102 102 // resultsListView … … 195 195 this.Controls.Add(this.clientTextBox); 196 196 this.Controls.Add(this.userTextBox); 197 this.Controls.Add(this. finishedDateTextBox);197 this.Controls.Add(this.createdDateTextBox); 198 198 this.Controls.Add(this.randomSeedTextBox); 199 199 this.Controls.Add(this.clientLabel); 200 200 this.Controls.Add(this.userLabel); 201 this.Controls.Add(this. finishedDateLabel);201 this.Controls.Add(this.createdDateLabel); 202 202 this.Controls.Add(this.randomSeedLabel); 203 203 this.Name = "RunView"; … … 213 213 private System.Windows.Forms.Label randomSeedLabel; 214 214 private System.Windows.Forms.TextBox randomSeedTextBox; 215 private System.Windows.Forms.Label finishedDateLabel;216 private System.Windows.Forms.TextBox finishedDateTextBox;215 private System.Windows.Forms.Label createdDateLabel; 216 private System.Windows.Forms.TextBox createdDateTextBox; 217 217 private System.Windows.Forms.ListView resultsListView; 218 218 private System.Windows.Forms.ColumnHeader nameColumnHeader;
Note: See TracChangeset
for help on using the changeset viewer.