- Timestamp:
- 03/25/11 17:18:58 (13 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.Optimization.Views/3.3/ResultView.Designer.cs
r5445 r5832 59 59 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 60 60 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 61 this.nameTextBox.Size = new System.Drawing.Size(287, 20); 61 this.nameTextBox.Location = new System.Drawing.Point(69, 0); 62 this.nameTextBox.Size = new System.Drawing.Size(265, 20); 62 63 // 63 // descriptionTextBox64 // infoLabel 64 65 // 65 this. descriptionTextBox.Size = new System.Drawing.Size(287, 20);66 this.infoLabel.Location = new System.Drawing.Point(340, 3); 66 67 // 67 68 // dataTypeLabel 68 69 // 69 70 this.dataTypeLabel.AutoSize = true; 70 this.dataTypeLabel.Location = new System.Drawing.Point(3, 55);71 this.dataTypeLabel.Location = new System.Drawing.Point(3, 29); 71 72 this.dataTypeLabel.Name = "dataTypeLabel"; 72 73 this.dataTypeLabel.Size = new System.Drawing.Size(60, 13); 73 this.dataTypeLabel.TabIndex = 4;74 this.dataTypeLabel.TabIndex = 3; 74 75 this.dataTypeLabel.Text = "Data &Type:"; 75 76 // … … 78 79 this.dataTypeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 79 80 | System.Windows.Forms.AnchorStyles.Right))); 80 this.dataTypeTextBox.Location = new System.Drawing.Point( 72, 52);81 this.dataTypeTextBox.Location = new System.Drawing.Point(69, 26); 81 82 this.dataTypeTextBox.Name = "dataTypeTextBox"; 82 83 this.dataTypeTextBox.ReadOnly = true; 83 this.dataTypeTextBox.Size = new System.Drawing.Size(2 87, 20);84 this.dataTypeTextBox.TabIndex = 5;84 this.dataTypeTextBox.Size = new System.Drawing.Size(290, 20); 85 this.dataTypeTextBox.TabIndex = 4; 85 86 // 86 87 // valueGroupBox … … 90 91 | System.Windows.Forms.AnchorStyles.Right))); 91 92 this.valueGroupBox.Controls.Add(this.valuePanel); 92 this.valueGroupBox.Location = new System.Drawing.Point(0, 78);93 this.valueGroupBox.Location = new System.Drawing.Point(0, 52); 93 94 this.valueGroupBox.Name = "valueGroupBox"; 94 this.valueGroupBox.Size = new System.Drawing.Size(359, 196);95 this.valueGroupBox.TabIndex = 7;95 this.valueGroupBox.Size = new System.Drawing.Size(359, 222); 96 this.valueGroupBox.TabIndex = 5; 96 97 this.valueGroupBox.TabStop = false; 97 98 this.valueGroupBox.Text = "Value"; … … 106 107 this.valuePanel.Location = new System.Drawing.Point(6, 19); 107 108 this.valuePanel.Name = "valuePanel"; 108 this.valuePanel.Size = new System.Drawing.Size(347, 1 71);109 this.valuePanel.Size = new System.Drawing.Size(347, 197); 109 110 this.valuePanel.TabIndex = 2; 110 111 // 111 112 // viewHost 112 113 // 114 this.viewHost.Caption = "View"; 113 115 this.viewHost.Content = null; 114 116 this.viewHost.Dock = System.Windows.Forms.DockStyle.Fill; 117 this.viewHost.Enabled = false; 115 118 this.viewHost.Location = new System.Drawing.Point(0, 0); 116 119 this.viewHost.Name = "viewHost"; 117 this.viewHost.Size = new System.Drawing.Size(347, 171); 120 this.viewHost.ReadOnly = false; 121 this.viewHost.Size = new System.Drawing.Size(347, 197); 118 122 this.viewHost.TabIndex = 0; 123 this.viewHost.ViewsLabelVisible = true; 119 124 this.viewHost.ViewType = null; 120 125 // … … 128 133 this.Name = "ResultView"; 129 134 this.Size = new System.Drawing.Size(359, 274); 130 this.Controls.SetChildIndex(this. descriptionLabel, 0);135 this.Controls.SetChildIndex(this.infoLabel, 0); 131 136 this.Controls.SetChildIndex(this.dataTypeTextBox, 0); 132 137 this.Controls.SetChildIndex(this.dataTypeLabel, 0); 133 this.Controls.SetChildIndex(this.descriptionTextBox, 0);134 138 this.Controls.SetChildIndex(this.nameTextBox, 0); 135 139 this.Controls.SetChildIndex(this.nameLabel, 0);
Note: See TracChangeset
for help on using the changeset viewer.