Changeset 17572 for branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Views/3.4/IntervalCollectionView.Designer.cs

Timestamp:

05/29/20 11:24:59 (4 years ago)

Author:

mkommend

Message:

#2971: Removed groupbox in IntervalCollectionView.

File:

• branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Views/3.4/IntervalCollectionView.Designer.cs (modified) (3 diffs)

branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Views/3.4/IntervalCollectionView.Designer.cs

@@ -46 +46 @@
     private void InitializeComponent() {
       this.dataGridView = new System.Windows.Forms.DataGridView();
-      this.groupBox1 = new System.Windows.Forms.GroupBox();
       ((System.ComponentModel.ISupportInitialize)(this.dataGridView)).BeginInit();
-      this.groupBox1.SuspendLayout();
       this.SuspendLayout();
       // 
@@ -55 +53 @@
       this.dataGridView.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
       this.dataGridView.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.dataGridView.Location = new System.Drawing.Point(3, 16);
+      this.dataGridView.Location = new System.Drawing.Point(0, 0);
+      this.dataGridView.Margin = new System.Windows.Forms.Padding(4);
       this.dataGridView.Name = "dataGridView";
       this.dataGridView.RowHeadersWidth = 120;
-      this.dataGridView.Size = new System.Drawing.Size(476, 391);
-      this.dataGridView.TabIndex = 0;
+      this.dataGridView.Size = new System.Drawing.Size(643, 505);
+      this.dataGridView.TabIndex = 1;
       this.dataGridView.CellEndEdit += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView_CellEndEdit);
       this.dataGridView.CellValidating += new System.Windows.Forms.DataGridViewCellValidatingEventHandler(this.dataGridView_CellValidating);
       this.dataGridView.CellValueChanged += new System.Windows.Forms.DataGridViewCellEventHandler(this.dataGridView_CellValueChanged);
       // 
-      // groupBox1
+      // IntervalCollectionView
       // 
-      this.groupBox1.Controls.Add(this.dataGridView);
-      this.groupBox1.Dock = System.Windows.Forms.DockStyle.Fill;
-      this.groupBox1.Location = new System.Drawing.Point(0, 0);
-      this.groupBox1.Name = "groupBox1";
-      this.groupBox1.Size = new System.Drawing.Size(482, 410);
-      this.groupBox1.TabIndex = 1;
-      this.groupBox1.TabStop = false;
-      this.groupBox1.Text = "Intervals";
-      // 
-      // NamedIntervalsView
-      // 
-      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
+      this.AutoScaleDimensions = new System.Drawing.SizeF(8F, 16F);
       this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
-      this.Controls.Add(this.groupBox1);
-      this.Name = "NamedIntervalsView";
-      this.Size = new System.Drawing.Size(482, 410);
+      this.Controls.Add(this.dataGridView);
+      this.Margin = new System.Windows.Forms.Padding(4);
+      this.Name = "IntervalCollectionView";
+      this.Size = new System.Drawing.Size(643, 505);
       ((System.ComponentModel.ISupportInitialize)(this.dataGridView)).EndInit();
-      this.groupBox1.ResumeLayout(false);
       this.ResumeLayout(false);
 
@@ -91 +79 @@
 
     private System.Windows.Forms.DataGridView dataGridView;
-    private System.Windows.Forms.GroupBox groupBox1;
   }
 }