Changeset 17924 for branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ArrayJsonItemControl.Designer.cs

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:

• branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ArrayJsonItemControl.Designer.cs (modified) (5 diffs)

branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ArrayJsonItemControl.Designer.cs

@@ -43 +43 @@
       this.tableLayoutPanel1.Name = "tableLayoutPanel1";
       this.tableLayoutPanel1.RowCount = 2;
-      this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 41F));
+      this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 47F));
       this.tableLayoutPanel1.RowStyles.Add(new System.Windows.Forms.RowStyle());
-      this.tableLayoutPanel1.Size = new System.Drawing.Size(526, 41);
+      this.tableLayoutPanel1.Size = new System.Drawing.Size(526, 47);
       this.tableLayoutPanel1.TabIndex = 24;
       // 
@@ -55 +55 @@
       this.groupBox2.Margin = new System.Windows.Forms.Padding(0);
       this.groupBox2.Name = "groupBox2";
-      this.groupBox2.Size = new System.Drawing.Size(526, 41);
+      this.groupBox2.Padding = new System.Windows.Forms.Padding(6);
+      this.groupBox2.Size = new System.Drawing.Size(526, 47);
       this.groupBox2.TabIndex = 19;
       this.groupBox2.TabStop = false;
@@ -66 +67 @@
       this.tableLayoutPanel2.Controls.Add(this.checkBoxResizable, 0, 0);
       this.tableLayoutPanel2.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.tableLayoutPanel2.Location = new System.Drawing.Point(3, 16);
+      this.tableLayoutPanel2.Location = new System.Drawing.Point(6, 19);
       this.tableLayoutPanel2.Margin = new System.Windows.Forms.Padding(0);
       this.tableLayoutPanel2.Name = "tableLayoutPanel2";
       this.tableLayoutPanel2.RowCount = 1;
       this.tableLayoutPanel2.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Percent, 100F));
-      this.tableLayoutPanel2.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 20F));
-      this.tableLayoutPanel2.Size = new System.Drawing.Size(520, 22);
+      this.tableLayoutPanel2.RowStyles.Add(new System.Windows.Forms.RowStyle(System.Windows.Forms.SizeType.Absolute, 22F));
+      this.tableLayoutPanel2.Size = new System.Drawing.Size(514, 22);
       this.tableLayoutPanel2.TabIndex = 22;
       // 
@@ -82 +83 @@
       this.checkBoxResizable.Margin = new System.Windows.Forms.Padding(0);
       this.checkBoxResizable.Name = "checkBoxResizable";
-      this.checkBoxResizable.Size = new System.Drawing.Size(520, 22);
+      this.checkBoxResizable.Size = new System.Drawing.Size(514, 22);
       this.checkBoxResizable.TabIndex = 4;
       this.checkBoxResizable.Text = "Resizable";
@@ -93 +94 @@
       this.Controls.Add(this.tableLayoutPanel1);
       this.Name = "ArrayJsonItemControl";
-      this.Size = new System.Drawing.Size(526, 41);
+      this.Size = new System.Drawing.Size(526, 47);
       this.tableLayoutPanel1.ResumeLayout(false);
       this.groupBox2.ResumeLayout(false);