- Timestamp:
- 07/14/17 10:29:51 (7 years ago)
- Location:
- stable
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
stable
- Property svn:mergeinfo changed
/trunk/sources merged: 15110,15119,15210
- Property svn:mergeinfo changed
-
stable/HeuristicLab.DataPreprocessing.Views
- Property svn:mergeinfo changed
-
stable/HeuristicLab.DataPreprocessing.Views/3.4/FilterView.Designer.cs
r14186 r15242 62 62 this.label2 = new System.Windows.Forms.Label(); 63 63 this.label3 = new System.Windows.Forms.Label(); 64 this.bottomPanel = new System.Windows.Forms.Panel(); 64 65 this.groupBoxFilter.SuspendLayout(); 65 66 this.groupBoxFilterInfo.SuspendLayout(); 66 67 this.groupBox1.SuspendLayout(); 68 this.bottomPanel.SuspendLayout(); 67 69 this.SuspendLayout(); 68 70 // 69 71 // groupBoxFilter 70 72 // 71 this.groupBoxFilter.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 73 this.groupBoxFilter.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 72 74 | System.Windows.Forms.AnchorStyles.Right))); 73 75 this.groupBoxFilter.Controls.Add(this.checkedFilterView); … … 93 95 // groupBoxFilterInfo 94 96 // 95 this.groupBoxFilterInfo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 97 this.groupBoxFilterInfo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 96 98 | System.Windows.Forms.AnchorStyles.Right))); 97 99 this.groupBoxFilterInfo.Controls.Add(this.lblPercentage); … … 103 105 this.groupBoxFilterInfo.Location = new System.Drawing.Point(4, 337); 104 106 this.groupBoxFilterInfo.Name = "groupBoxFilterInfo"; 105 this.groupBoxFilterInfo.Size = new System.Drawing.Size(65 9, 102);107 this.groupBoxFilterInfo.Size = new System.Drawing.Size(658, 102); 106 108 this.groupBoxFilterInfo.TabIndex = 1; 107 109 this.groupBoxFilterInfo.TabStop = false; … … 119 121 // tbPercentage 120 122 // 121 this.tbPercentage.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 123 this.tbPercentage.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 122 124 | System.Windows.Forms.AnchorStyles.Right))); 123 125 this.tbPercentage.Enabled = false; 124 126 this.tbPercentage.Location = new System.Drawing.Point(104, 71); 125 127 this.tbPercentage.Name = "tbPercentage"; 126 this.tbPercentage.Size = new System.Drawing.Size(54 9, 20);128 this.tbPercentage.Size = new System.Drawing.Size(548, 20); 127 129 this.tbPercentage.TabIndex = 10; 128 130 // 129 // tb Filtered130 // 131 this.tbRemaining.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 131 // tbRemaining 132 // 133 this.tbRemaining.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 132 134 | System.Windows.Forms.AnchorStyles.Right))); 133 135 this.tbRemaining.Enabled = false; 134 136 this.tbRemaining.Location = new System.Drawing.Point(104, 45); 135 137 this.tbRemaining.Name = "tbRemaining"; 136 this.tbRemaining.Size = new System.Drawing.Size(54 9, 20);138 this.tbRemaining.Size = new System.Drawing.Size(548, 20); 137 139 this.tbRemaining.TabIndex = 9; 138 140 // 139 // lbl Filtered141 // lblRemaining 140 142 // 141 143 this.lblRemaining.AutoSize = true; … … 148 150 // tbTotal 149 151 // 150 this.tbTotal.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 152 this.tbTotal.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 151 153 | System.Windows.Forms.AnchorStyles.Right))); 152 154 this.tbTotal.Enabled = false; 153 155 this.tbTotal.Location = new System.Drawing.Point(104, 19); 154 156 this.tbTotal.Name = "tbTotal"; 155 this.tbTotal.Size = new System.Drawing.Size(54 9, 20);157 this.tbTotal.Size = new System.Drawing.Size(548, 20); 156 158 this.tbTotal.TabIndex = 7; 157 159 // … … 167 169 // applyFilterButton 168 170 // 169 this.applyFilterButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));171 this.applyFilterButton.Anchor = System.Windows.Forms.AnchorStyles.Right; 170 172 this.applyFilterButton.Cursor = System.Windows.Forms.Cursors.Default; 171 173 this.applyFilterButton.Enabled = false; 172 this.applyFilterButton.Location = new System.Drawing.Point(55 4, 628);174 this.applyFilterButton.Location = new System.Drawing.Point(559, 3); 173 175 this.applyFilterButton.Name = "applyFilterButton"; 174 176 this.applyFilterButton.Size = new System.Drawing.Size(107, 23); … … 180 182 // rBtnOr 181 183 // 182 this.rBtnOr.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));184 this.rBtnOr.Anchor = System.Windows.Forms.AnchorStyles.Left; 183 185 this.rBtnOr.AutoSize = true; 184 186 this.rBtnOr.Cursor = System.Windows.Forms.Cursors.Default; 185 187 this.rBtnOr.Enabled = false; 186 this.rBtnOr.Location = new System.Drawing.Point( 60, 634);188 this.rBtnOr.Location = new System.Drawing.Point(53, 6); 187 189 this.rBtnOr.Name = "rBtnOr"; 188 190 this.rBtnOr.Size = new System.Drawing.Size(36, 17); … … 193 195 // rBtnAnd 194 196 // 195 this.rBtnAnd.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));197 this.rBtnAnd.Anchor = System.Windows.Forms.AnchorStyles.Left; 196 198 this.rBtnAnd.AutoSize = true; 197 199 this.rBtnAnd.Checked = true; 198 200 this.rBtnAnd.Cursor = System.Windows.Forms.Cursors.Default; 199 201 this.rBtnAnd.Enabled = false; 200 this.rBtnAnd.Location = new System.Drawing.Point( 10, 634);202 this.rBtnAnd.Location = new System.Drawing.Point(3, 6); 201 203 this.rBtnAnd.Name = "rBtnAnd"; 202 204 this.rBtnAnd.Size = new System.Drawing.Size(44, 17); … … 209 211 // groupBox1 210 212 // 211 this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 213 this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 212 214 | System.Windows.Forms.AnchorStyles.Right))); 213 215 this.groupBox1.Controls.Add(this.label4); … … 215 217 this.groupBox1.Controls.Add(this.label2); 216 218 this.groupBox1.Controls.Add(this.label3); 217 this.groupBox1.Location = new System.Drawing.Point( 7, 445);219 this.groupBox1.Location = new System.Drawing.Point(4, 445); 218 220 this.groupBox1.Name = "groupBox1"; 219 this.groupBox1.Size = new System.Drawing.Size(65 9, 130);221 this.groupBox1.Size = new System.Drawing.Size(658, 130); 220 222 this.groupBox1.TabIndex = 12; 221 223 this.groupBox1.TabStop = false; … … 261 263 this.label3.Text = "A filter specifies the data rows which should remain."; 262 264 // 265 // bottomPanel 266 // 267 this.bottomPanel.Controls.Add(this.applyFilterButton); 268 this.bottomPanel.Controls.Add(this.rBtnAnd); 269 this.bottomPanel.Controls.Add(this.rBtnOr); 270 this.bottomPanel.Dock = System.Windows.Forms.DockStyle.Bottom; 271 this.bottomPanel.Location = new System.Drawing.Point(0, 580); 272 this.bottomPanel.Name = "bottomPanel"; 273 this.bottomPanel.Size = new System.Drawing.Size(670, 30); 274 this.bottomPanel.TabIndex = 13; 275 // 263 276 // FilterView 264 277 // 265 278 this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F); 266 279 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; 280 this.Controls.Add(this.bottomPanel); 267 281 this.Controls.Add(this.groupBox1); 268 this.Controls.Add(this.rBtnAnd);269 this.Controls.Add(this.rBtnOr);270 this.Controls.Add(this.applyFilterButton);271 282 this.Controls.Add(this.groupBoxFilterInfo); 272 283 this.Controls.Add(this.groupBoxFilter); 273 284 this.Name = "FilterView"; 274 this.Size = new System.Drawing.Size(670, 6 60);285 this.Size = new System.Drawing.Size(670, 610); 275 286 this.groupBoxFilter.ResumeLayout(false); 276 287 this.groupBoxFilterInfo.ResumeLayout(false); … … 278 289 this.groupBox1.ResumeLayout(false); 279 290 this.groupBox1.PerformLayout(); 291 this.bottomPanel.ResumeLayout(false); 292 this.bottomPanel.PerformLayout(); 280 293 this.ResumeLayout(false); 281 this.PerformLayout();282 294 283 295 } … … 302 314 private System.Windows.Forms.Label label2; 303 315 private System.Windows.Forms.Label label3; 304 305 316 private System.Windows.Forms.Panel bottomPanel; 306 317 } 307 318 }
Note: See TracChangeset
for help on using the changeset viewer.