1 | namespace HeuristicLab.Problems.ProgramSynthesis { |
---|
2 | partial class ErcOptionsView {
|
---|
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.PossibilityLabel = new System.Windows.Forms.Label();
|
---|
27 | this.possibilityTextBox = new System.Windows.Forms.TextBox();
|
---|
28 | this.ErcOptionListView = new CheckedErcItemCollectionView();
|
---|
29 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
|
---|
30 | this.SuspendLayout();
|
---|
31 | //
|
---|
32 | // nameTextBox
|
---|
33 | //
|
---|
34 | this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
|
---|
35 | this.errorProvider.SetIconPadding(this.nameTextBox, 2);
|
---|
36 | this.nameTextBox.Location = new System.Drawing.Point(75, 0);
|
---|
37 | this.nameTextBox.Size = new System.Drawing.Size(633, 20);
|
---|
38 | //
|
---|
39 | // infoLabel
|
---|
40 | //
|
---|
41 | this.infoLabel.Location = new System.Drawing.Point(714, 3);
|
---|
42 | //
|
---|
43 | // PossibilityLabel
|
---|
44 | //
|
---|
45 | this.PossibilityLabel.AutoSize = true;
|
---|
46 | this.PossibilityLabel.Location = new System.Drawing.Point(5, 28);
|
---|
47 | this.PossibilityLabel.Name = "PossibilityLabel";
|
---|
48 | this.PossibilityLabel.Size = new System.Drawing.Size(55, 13);
|
---|
49 | this.PossibilityLabel.TabIndex = 0;
|
---|
50 | this.PossibilityLabel.Text = "Possibility:";
|
---|
51 | //
|
---|
52 | // possibilityTextBox
|
---|
53 | //
|
---|
54 | this.possibilityTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
55 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
56 | this.possibilityTextBox.Location = new System.Drawing.Point(75, 25);
|
---|
57 | this.possibilityTextBox.Name = "possibilityTextBox";
|
---|
58 | this.possibilityTextBox.Size = new System.Drawing.Size(658, 20);
|
---|
59 | this.possibilityTextBox.TabIndex = 2;
|
---|
60 | //
|
---|
61 | // ErcOptionListView
|
---|
62 | //
|
---|
63 | this.ErcOptionListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
64 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
65 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
66 | this.ErcOptionListView.Caption = "View";
|
---|
67 | this.ErcOptionListView.Content = null;
|
---|
68 | this.ErcOptionListView.Location = new System.Drawing.Point(0, 51);
|
---|
69 | this.ErcOptionListView.Name = "ErcOptionListView";
|
---|
70 | this.ErcOptionListView.ReadOnly = false;
|
---|
71 | this.ErcOptionListView.ShowDetails = true;
|
---|
72 | this.ErcOptionListView.Size = new System.Drawing.Size(733, 434);
|
---|
73 | this.ErcOptionListView.TabIndex = 3;
|
---|
74 | //
|
---|
75 | // ErcOptionsView
|
---|
76 | //
|
---|
77 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
78 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
79 | this.Controls.Add(this.ErcOptionListView);
|
---|
80 | this.Controls.Add(this.possibilityTextBox);
|
---|
81 | this.Controls.Add(this.PossibilityLabel);
|
---|
82 | this.Name = "ErcOptionsView";
|
---|
83 | this.Size = new System.Drawing.Size(733, 485);
|
---|
84 | this.Controls.SetChildIndex(this.nameLabel, 0);
|
---|
85 | this.Controls.SetChildIndex(this.nameTextBox, 0);
|
---|
86 | this.Controls.SetChildIndex(this.infoLabel, 0);
|
---|
87 | this.Controls.SetChildIndex(this.PossibilityLabel, 0);
|
---|
88 | this.Controls.SetChildIndex(this.possibilityTextBox, 0);
|
---|
89 | this.Controls.SetChildIndex(this.ErcOptionListView, 0);
|
---|
90 | ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
|
---|
91 | this.ResumeLayout(false);
|
---|
92 | this.PerformLayout();
|
---|
93 |
|
---|
94 | }
|
---|
95 |
|
---|
96 | #endregion
|
---|
97 |
|
---|
98 | private System.Windows.Forms.Label PossibilityLabel;
|
---|
99 | private System.Windows.Forms.TextBox possibilityTextBox;
|
---|
100 | private CheckedErcItemCollectionView ErcOptionListView;
|
---|
101 | }
|
---|
102 | }
|
---|