Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
03/30/21 18:03:29 (3 years ago)
Author:
dpiringe
Message:

#3026

  • renamed ResultFormatter to ResultFormatters
  • adjusted some UI components (changed margins/paddings/sizes of some controls)
File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ConcreteItemsRestrictor.Designer.cs

    r17829 r17924  
    4343      this.tableOptions.RowCount = 1;
    4444      this.tableOptions.RowStyles.Add(new System.Windows.Forms.RowStyle());
    45       this.tableOptions.Size = new System.Drawing.Size(494, 181);
     45      this.tableOptions.Size = new System.Drawing.Size(491, 181);
    4646      this.tableOptions.TabIndex = 13;
    4747      //
     
    5353      this.groupBox1.Margin = new System.Windows.Forms.Padding(0);
    5454      this.groupBox1.Name = "groupBox1";
     55      this.groupBox1.Padding = new System.Windows.Forms.Padding(3, 3, 6, 3);
    5556      this.groupBox1.Size = new System.Drawing.Size(500, 200);
    5657      this.groupBox1.TabIndex = 0;
Note: See TracChangeset for help on using the changeset viewer.