Free cookie consent management tool by TermsFeed Policy Generator

source: branches/PushGP/HeuristicLab.PushGP/HeuristicLab.Problem.ProgramSynthesis.BenchmarkSuite/Views/DataEditorView.Designer.cs @ 14875

Last change on this file since 14875 was 14777, checked in by pkimmesw, 8 years ago

#2665 simplifier, push solution results view, performance improvements, small bug fixes, ui fixes

File size: 3.0 KB
Line 
1namespace HeuristicLab.BenchmarkSuite.Views {
2  partial class DataEditorView {
3    /// <summary>
4    /// Required designer variable.
5    /// </summary>
6    private System.ComponentModel.IContainer components = null;
7
8    /// <summary>
9    /// Clean up any resources being used.
10    /// </summary>
11    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
12    protected override void Dispose(bool disposing) {
13      if (disposing && (components != null)) {
14        components.Dispose();
15      }
16      base.Dispose(disposing);
17    }
18
19    #region Component Designer generated code
20
21    /// <summary>
22    /// Required method for Designer support - do not modify
23    /// the contents of this method with the code editor.
24    /// </summary>
25    private void InitializeComponent() {
26      this.dataGridView = new System.Windows.Forms.DataGridView();
27      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
28      ((System.ComponentModel.ISupportInitialize)(this.dataGridView)).BeginInit();
29      this.SuspendLayout();
30      //
31      // nameTextBox
32      //
33      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
34      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
35      this.nameTextBox.Size = new System.Drawing.Size(758, 20);
36      //
37      // infoLabel
38      //
39      this.infoLabel.Location = new System.Drawing.Point(822, 3);
40      //
41      // dataGridView
42      //
43      this.dataGridView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
44            | System.Windows.Forms.AnchorStyles.Left)
45            | System.Windows.Forms.AnchorStyles.Right)));
46      this.dataGridView.ColumnHeadersHeightSizeMode = System.Windows.Forms.DataGridViewColumnHeadersHeightSizeMode.AutoSize;
47      this.dataGridView.Location = new System.Drawing.Point(6, 26);
48      this.dataGridView.Name = "dataGridView";
49      this.dataGridView.Size = new System.Drawing.Size(832, 612);
50      this.dataGridView.TabIndex = 3;
51      //
52      // DataEditorView
53      //
54      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
55      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
56      this.Controls.Add(this.dataGridView);
57      this.Name = "DataEditorView";
58      this.Size = new System.Drawing.Size(841, 641);
59      this.Controls.SetChildIndex(this.nameLabel, 0);
60      this.Controls.SetChildIndex(this.nameTextBox, 0);
61      this.Controls.SetChildIndex(this.infoLabel, 0);
62      this.Controls.SetChildIndex(this.dataGridView, 0);
63      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
64      ((System.ComponentModel.ISupportInitialize)(this.dataGridView)).EndInit();
65      this.ResumeLayout(false);
66      this.PerformLayout();
67
68    }
69
70    #endregion
71
72    private System.Windows.Forms.DataGridView dataGridView;
73  }
74}
Note: See TracBrowser for help on using the repository browser.