1 | namespace HeuristicLab.JsonInterface.OptimizerIntegration {
|
---|
2 | partial class JsonItemRangeControl {
|
---|
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.groupBox1 = new System.Windows.Forms.GroupBox();
|
---|
27 | this.textBoxValueTo = new System.Windows.Forms.TextBox();
|
---|
28 | this.textBoxValueFrom = new System.Windows.Forms.TextBox();
|
---|
29 | this.label4 = new System.Windows.Forms.Label();
|
---|
30 | this.label2 = new System.Windows.Forms.Label();
|
---|
31 | this.textBoxRangeTo = new System.Windows.Forms.TextBox();
|
---|
32 | this.textBoxRangeFrom = new System.Windows.Forms.TextBox();
|
---|
33 | this.label5 = new System.Windows.Forms.Label();
|
---|
34 | this.label6 = new System.Windows.Forms.Label();
|
---|
35 | this.groupBox2 = new System.Windows.Forms.GroupBox();
|
---|
36 | this.groupBox1.SuspendLayout();
|
---|
37 | this.groupBox2.SuspendLayout();
|
---|
38 | this.SuspendLayout();
|
---|
39 | //
|
---|
40 | // groupBox1
|
---|
41 | //
|
---|
42 | this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
43 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
44 | this.groupBox1.Controls.Add(this.textBoxValueTo);
|
---|
45 | this.groupBox1.Controls.Add(this.textBoxValueFrom);
|
---|
46 | this.groupBox1.Controls.Add(this.label4);
|
---|
47 | this.groupBox1.Controls.Add(this.label2);
|
---|
48 | this.groupBox1.Location = new System.Drawing.Point(9, 81);
|
---|
49 | this.groupBox1.Name = "groupBox1";
|
---|
50 | this.groupBox1.Size = new System.Drawing.Size(487, 64);
|
---|
51 | this.groupBox1.TabIndex = 17;
|
---|
52 | this.groupBox1.TabStop = false;
|
---|
53 | this.groupBox1.Text = "Value";
|
---|
54 | //
|
---|
55 | // textBoxValueTo
|
---|
56 | //
|
---|
57 | this.textBoxValueTo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
58 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
59 | this.textBoxValueTo.Location = new System.Drawing.Point(249, 36);
|
---|
60 | this.textBoxValueTo.Name = "textBoxValueTo";
|
---|
61 | this.textBoxValueTo.Size = new System.Drawing.Size(230, 20);
|
---|
62 | this.textBoxValueTo.TabIndex = 3;
|
---|
63 | this.textBoxValueTo.Leave += new System.EventHandler(this.textBoxValueTo_Leave);
|
---|
64 | //
|
---|
65 | // textBoxValueFrom
|
---|
66 | //
|
---|
67 | this.textBoxValueFrom.Location = new System.Drawing.Point(10, 36);
|
---|
68 | this.textBoxValueFrom.Name = "textBoxValueFrom";
|
---|
69 | this.textBoxValueFrom.Size = new System.Drawing.Size(230, 20);
|
---|
70 | this.textBoxValueFrom.TabIndex = 2;
|
---|
71 | this.textBoxValueFrom.Leave += new System.EventHandler(this.textBoxValueFrom_Leave);
|
---|
72 | //
|
---|
73 | // label4
|
---|
74 | //
|
---|
75 | this.label4.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
76 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
77 | this.label4.AutoSize = true;
|
---|
78 | this.label4.Location = new System.Drawing.Point(246, 20);
|
---|
79 | this.label4.Name = "label4";
|
---|
80 | this.label4.Size = new System.Drawing.Size(20, 13);
|
---|
81 | this.label4.TabIndex = 1;
|
---|
82 | this.label4.Text = "To";
|
---|
83 | //
|
---|
84 | // label2
|
---|
85 | //
|
---|
86 | this.label2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
87 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
88 | this.label2.AutoSize = true;
|
---|
89 | this.label2.Location = new System.Drawing.Point(7, 20);
|
---|
90 | this.label2.Name = "label2";
|
---|
91 | this.label2.Size = new System.Drawing.Size(30, 13);
|
---|
92 | this.label2.TabIndex = 0;
|
---|
93 | this.label2.Text = "From";
|
---|
94 | //
|
---|
95 | // textBoxRangeTo
|
---|
96 | //
|
---|
97 | this.textBoxRangeTo.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
98 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
99 | this.textBoxRangeTo.Location = new System.Drawing.Point(249, 36);
|
---|
100 | this.textBoxRangeTo.Name = "textBoxRangeTo";
|
---|
101 | this.textBoxRangeTo.Size = new System.Drawing.Size(230, 20);
|
---|
102 | this.textBoxRangeTo.TabIndex = 3;
|
---|
103 | this.textBoxRangeTo.Leave += new System.EventHandler(this.textBoxRangeTo_Leave);
|
---|
104 | //
|
---|
105 | // textBoxRangeFrom
|
---|
106 | //
|
---|
107 | this.textBoxRangeFrom.Location = new System.Drawing.Point(10, 36);
|
---|
108 | this.textBoxRangeFrom.Name = "textBoxRangeFrom";
|
---|
109 | this.textBoxRangeFrom.Size = new System.Drawing.Size(230, 20);
|
---|
110 | this.textBoxRangeFrom.TabIndex = 2;
|
---|
111 | this.textBoxRangeFrom.Leave += new System.EventHandler(this.textBoxRangeFrom_Leave);
|
---|
112 | //
|
---|
113 | // label5
|
---|
114 | //
|
---|
115 | this.label5.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
116 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
117 | this.label5.AutoSize = true;
|
---|
118 | this.label5.Location = new System.Drawing.Point(246, 20);
|
---|
119 | this.label5.Name = "label5";
|
---|
120 | this.label5.Size = new System.Drawing.Size(20, 13);
|
---|
121 | this.label5.TabIndex = 1;
|
---|
122 | this.label5.Text = "To";
|
---|
123 | //
|
---|
124 | // label6
|
---|
125 | //
|
---|
126 | this.label6.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
127 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
128 | this.label6.AutoSize = true;
|
---|
129 | this.label6.Location = new System.Drawing.Point(7, 20);
|
---|
130 | this.label6.Name = "label6";
|
---|
131 | this.label6.Size = new System.Drawing.Size(30, 13);
|
---|
132 | this.label6.TabIndex = 0;
|
---|
133 | this.label6.Text = "From";
|
---|
134 | //
|
---|
135 | // groupBox2
|
---|
136 | //
|
---|
137 | this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
|
---|
138 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
139 | this.groupBox2.Controls.Add(this.textBoxRangeTo);
|
---|
140 | this.groupBox2.Controls.Add(this.textBoxRangeFrom);
|
---|
141 | this.groupBox2.Controls.Add(this.label5);
|
---|
142 | this.groupBox2.Controls.Add(this.label6);
|
---|
143 | this.groupBox2.Location = new System.Drawing.Point(9, 151);
|
---|
144 | this.groupBox2.Name = "groupBox2";
|
---|
145 | this.groupBox2.Size = new System.Drawing.Size(487, 64);
|
---|
146 | this.groupBox2.TabIndex = 18;
|
---|
147 | this.groupBox2.TabStop = false;
|
---|
148 | this.groupBox2.Text = "Range";
|
---|
149 | //
|
---|
150 | // JsonItemRangeControl
|
---|
151 | //
|
---|
152 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
153 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
154 | this.Controls.Add(this.groupBox2);
|
---|
155 | this.Controls.Add(this.groupBox1);
|
---|
156 | this.Name = "JsonItemRangeControl";
|
---|
157 | this.Size = new System.Drawing.Size(500, 220);
|
---|
158 | this.Controls.SetChildIndex(this.groupBox1, 0);
|
---|
159 | this.Controls.SetChildIndex(this.groupBox2, 0);
|
---|
160 | this.groupBox1.ResumeLayout(false);
|
---|
161 | this.groupBox1.PerformLayout();
|
---|
162 | this.groupBox2.ResumeLayout(false);
|
---|
163 | this.groupBox2.PerformLayout();
|
---|
164 | this.ResumeLayout(false);
|
---|
165 | this.PerformLayout();
|
---|
166 |
|
---|
167 | }
|
---|
168 |
|
---|
169 | #endregion
|
---|
170 |
|
---|
171 | private System.Windows.Forms.GroupBox groupBox1;
|
---|
172 | private System.Windows.Forms.TextBox textBoxValueTo;
|
---|
173 | private System.Windows.Forms.TextBox textBoxValueFrom;
|
---|
174 | private System.Windows.Forms.Label label4;
|
---|
175 | private System.Windows.Forms.Label label2;
|
---|
176 | private System.Windows.Forms.TextBox textBoxRangeTo;
|
---|
177 | private System.Windows.Forms.TextBox textBoxRangeFrom;
|
---|
178 | private System.Windows.Forms.Label label5;
|
---|
179 | private System.Windows.Forms.Label label6;
|
---|
180 | private System.Windows.Forms.GroupBox groupBox2;
|
---|
181 | }
|
---|
182 | }
|
---|