Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/14/17 10:29:51 (7 years ago)
Author:
pfleck
Message:

#2709 merged to stable

Location:
stable
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • stable

  • stable/HeuristicLab.DataPreprocessing.Views

  • stable/HeuristicLab.DataPreprocessing.Views/3.4/FilterView.Designer.cs

    r14186 r15242  
    6262      this.label2 = new System.Windows.Forms.Label();
    6363      this.label3 = new System.Windows.Forms.Label();
     64      this.bottomPanel = new System.Windows.Forms.Panel();
    6465      this.groupBoxFilter.SuspendLayout();
    6566      this.groupBoxFilterInfo.SuspendLayout();
    6667      this.groupBox1.SuspendLayout();
     68      this.bottomPanel.SuspendLayout();
    6769      this.SuspendLayout();
    6870      //
    6971      // groupBoxFilter
    7072      //
    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) 
    7274            | System.Windows.Forms.AnchorStyles.Right)));
    7375      this.groupBoxFilter.Controls.Add(this.checkedFilterView);
     
    9395      // groupBoxFilterInfo
    9496      //
    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) 
    9698            | System.Windows.Forms.AnchorStyles.Right)));
    9799      this.groupBoxFilterInfo.Controls.Add(this.lblPercentage);
     
    103105      this.groupBoxFilterInfo.Location = new System.Drawing.Point(4, 337);
    104106      this.groupBoxFilterInfo.Name = "groupBoxFilterInfo";
    105       this.groupBoxFilterInfo.Size = new System.Drawing.Size(659, 102);
     107      this.groupBoxFilterInfo.Size = new System.Drawing.Size(658, 102);
    106108      this.groupBoxFilterInfo.TabIndex = 1;
    107109      this.groupBoxFilterInfo.TabStop = false;
     
    119121      // tbPercentage
    120122      //
    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) 
    122124            | System.Windows.Forms.AnchorStyles.Right)));
    123125      this.tbPercentage.Enabled = false;
    124126      this.tbPercentage.Location = new System.Drawing.Point(104, 71);
    125127      this.tbPercentage.Name = "tbPercentage";
    126       this.tbPercentage.Size = new System.Drawing.Size(549, 20);
     128      this.tbPercentage.Size = new System.Drawing.Size(548, 20);
    127129      this.tbPercentage.TabIndex = 10;
    128130      //
    129       // tbFiltered
    130       //
    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) 
    132134            | System.Windows.Forms.AnchorStyles.Right)));
    133135      this.tbRemaining.Enabled = false;
    134136      this.tbRemaining.Location = new System.Drawing.Point(104, 45);
    135137      this.tbRemaining.Name = "tbRemaining";
    136       this.tbRemaining.Size = new System.Drawing.Size(549, 20);
     138      this.tbRemaining.Size = new System.Drawing.Size(548, 20);
    137139      this.tbRemaining.TabIndex = 9;
    138140      //
    139       // lblFiltered
     141      // lblRemaining
    140142      //
    141143      this.lblRemaining.AutoSize = true;
     
    148150      // tbTotal
    149151      //
    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) 
    151153            | System.Windows.Forms.AnchorStyles.Right)));
    152154      this.tbTotal.Enabled = false;
    153155      this.tbTotal.Location = new System.Drawing.Point(104, 19);
    154156      this.tbTotal.Name = "tbTotal";
    155       this.tbTotal.Size = new System.Drawing.Size(549, 20);
     157      this.tbTotal.Size = new System.Drawing.Size(548, 20);
    156158      this.tbTotal.TabIndex = 7;
    157159      //
     
    167169      // applyFilterButton
    168170      //
    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;
    170172      this.applyFilterButton.Cursor = System.Windows.Forms.Cursors.Default;
    171173      this.applyFilterButton.Enabled = false;
    172       this.applyFilterButton.Location = new System.Drawing.Point(554, 628);
     174      this.applyFilterButton.Location = new System.Drawing.Point(559, 3);
    173175      this.applyFilterButton.Name = "applyFilterButton";
    174176      this.applyFilterButton.Size = new System.Drawing.Size(107, 23);
     
    180182      // rBtnOr
    181183      //
    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;
    183185      this.rBtnOr.AutoSize = true;
    184186      this.rBtnOr.Cursor = System.Windows.Forms.Cursors.Default;
    185187      this.rBtnOr.Enabled = false;
    186       this.rBtnOr.Location = new System.Drawing.Point(60, 634);
     188      this.rBtnOr.Location = new System.Drawing.Point(53, 6);
    187189      this.rBtnOr.Name = "rBtnOr";
    188190      this.rBtnOr.Size = new System.Drawing.Size(36, 17);
     
    193195      // rBtnAnd
    194196      //
    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;
    196198      this.rBtnAnd.AutoSize = true;
    197199      this.rBtnAnd.Checked = true;
    198200      this.rBtnAnd.Cursor = System.Windows.Forms.Cursors.Default;
    199201      this.rBtnAnd.Enabled = false;
    200       this.rBtnAnd.Location = new System.Drawing.Point(10, 634);
     202      this.rBtnAnd.Location = new System.Drawing.Point(3, 6);
    201203      this.rBtnAnd.Name = "rBtnAnd";
    202204      this.rBtnAnd.Size = new System.Drawing.Size(44, 17);
     
    209211      // groupBox1
    210212      //
    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) 
    212214            | System.Windows.Forms.AnchorStyles.Right)));
    213215      this.groupBox1.Controls.Add(this.label4);
     
    215217      this.groupBox1.Controls.Add(this.label2);
    216218      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);
    218220      this.groupBox1.Name = "groupBox1";
    219       this.groupBox1.Size = new System.Drawing.Size(659, 130);
     221      this.groupBox1.Size = new System.Drawing.Size(658, 130);
    220222      this.groupBox1.TabIndex = 12;
    221223      this.groupBox1.TabStop = false;
     
    261263      this.label3.Text = "A filter specifies the data rows which should remain.";
    262264      //
     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      //
    263276      // FilterView
    264277      //
    265278      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    266279      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     280      this.Controls.Add(this.bottomPanel);
    267281      this.Controls.Add(this.groupBox1);
    268       this.Controls.Add(this.rBtnAnd);
    269       this.Controls.Add(this.rBtnOr);
    270       this.Controls.Add(this.applyFilterButton);
    271282      this.Controls.Add(this.groupBoxFilterInfo);
    272283      this.Controls.Add(this.groupBoxFilter);
    273284      this.Name = "FilterView";
    274       this.Size = new System.Drawing.Size(670, 660);
     285      this.Size = new System.Drawing.Size(670, 610);
    275286      this.groupBoxFilter.ResumeLayout(false);
    276287      this.groupBoxFilterInfo.ResumeLayout(false);
     
    278289      this.groupBox1.ResumeLayout(false);
    279290      this.groupBox1.PerformLayout();
     291      this.bottomPanel.ResumeLayout(false);
     292      this.bottomPanel.PerformLayout();
    280293      this.ResumeLayout(false);
    281       this.PerformLayout();
    282294
    283295    }
     
    302314    private System.Windows.Forms.Label label2;
    303315    private System.Windows.Forms.Label label3;
    304 
    305 
     316    private System.Windows.Forms.Panel bottomPanel;
    306317  }
    307318}
Note: See TracChangeset for help on using the changeset viewer.