Changeset 17572 for branches

Timestamp:

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

Author:

mkommend

Message:

#2971: Removed groupbox in IntervalCollectionView.

Location:

branches/2971_named_intervals/HeuristicLab.Problems.DataAnalysis.Views/3.4

Files:

• IntervalCollectionView.Designer.cs (modified) (3 diffs)
• IntervalCollectionView.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;
   }
 }

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

@@ -22 +22 @@
 
 using System.Windows.Forms;
-using HeuristicLab.Common;
 using HeuristicLab.MainForm;
 using HeuristicLab.MainForm.WindowsForms;
@@ -116 +115 @@
         parsedValue = double.Parse(gridData.ToString());
       } else {
-        parsedValue = (double) gridData;
+        parsedValue = (double)gridData;
       }
 
@@ -138 +137 @@
       var lowerBound = double.Parse(dataGridView.Rows[e.RowIndex].Cells[0].Value.ToString());
       var upperBound = double.Parse(dataGridView.Rows[e.RowIndex].Cells[1].Value.ToString());
-      
+
       if (e.ColumnIndex == 0 && value > upperBound || e.ColumnIndex == 1 && value < lowerBound) {
         e.Cancel = true;