Free cookie consent management tool by TermsFeed Policy Generator

source: branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ExportJsonDialog.Designer.cs @ 17828

Last change on this file since 17828 was 17828, checked in by dpiringe, 3 years ago

#3026

  • removed the option to set the value for JsonItems via exporter
    • reworked some base controls
    • added new controls for JsonItem specific properties (e.g. ArrayResizable)
    • deleted a lot of obsolet controls
  • removed the Enable checkbox in the detail view of JsonItems
  • exporter now clones the IOptimizer object
  • added a check + message for unsupported exports
  • list of JsonItems now includes unsupported JsonItems (disabled and marked with 'unsupported')
  • refactored the converter type check
    • now every converter has to specify its supported type(s)
File size: 13.6 KB
Line 
1namespace HeuristicLab.JsonInterface.OptimizerIntegration {
2  partial class ExportJsonDialog {
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 Windows Form 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.components = new System.ComponentModel.Container();
27      this.dataGridViewTextBoxColumn1 = new System.Windows.Forms.DataGridViewTextBoxColumn();
28      this.exportButton = new System.Windows.Forms.Button();
29      this.treeView = new System.Windows.Forms.TreeView();
30      this.groupBoxDetails = new System.Windows.Forms.GroupBox();
31      this.panelParameterDetails = new System.Windows.Forms.Panel();
32      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
33      this.treeViewResults = new System.Windows.Forms.TreeView();
34      this.groupBox = new System.Windows.Forms.GroupBox();
35      this.panelResultDetails = new System.Windows.Forms.Panel();
36      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
37      this.tabControl1 = new System.Windows.Forms.TabControl();
38      this.tabPage1 = new System.Windows.Forms.TabPage();
39      this.tabPage2 = new System.Windows.Forms.TabPage();
40      this.label1 = new System.Windows.Forms.Label();
41      this.textBoxTemplateName = new System.Windows.Forms.TextBox();
42      this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
43      this.jsonItemBindingSource = new System.Windows.Forms.BindingSource(this.components);
44      this.groupBoxDetails.SuspendLayout();
45      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
46      this.splitContainer1.Panel1.SuspendLayout();
47      this.splitContainer1.Panel2.SuspendLayout();
48      this.splitContainer1.SuspendLayout();
49      this.groupBox.SuspendLayout();
50      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
51      this.splitContainer2.Panel1.SuspendLayout();
52      this.splitContainer2.Panel2.SuspendLayout();
53      this.splitContainer2.SuspendLayout();
54      this.tabControl1.SuspendLayout();
55      this.tabPage1.SuspendLayout();
56      this.tabPage2.SuspendLayout();
57      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
58      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).BeginInit();
59      this.SuspendLayout();
60      //
61      // dataGridViewTextBoxColumn1
62      //
63      this.dataGridViewTextBoxColumn1.DataPropertyName = "Value";
64      this.dataGridViewTextBoxColumn1.HeaderText = "Value";
65      this.dataGridViewTextBoxColumn1.Name = "dataGridViewTextBoxColumn1";
66      //
67      // exportButton
68      //
69      this.exportButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
70      this.exportButton.Location = new System.Drawing.Point(630, 575);
71      this.exportButton.Name = "exportButton";
72      this.exportButton.Size = new System.Drawing.Size(191, 29);
73      this.exportButton.TabIndex = 1;
74      this.exportButton.Text = "Export";
75      this.exportButton.UseVisualStyleBackColor = true;
76      this.exportButton.Click += new System.EventHandler(this.exportButton_Click);
77      //
78      // treeView
79      //
80      this.treeView.CheckBoxes = true;
81      this.treeView.Dock = System.Windows.Forms.DockStyle.Fill;
82      this.treeView.Location = new System.Drawing.Point(0, 6);
83      this.treeView.Name = "treeView";
84      this.treeView.Size = new System.Drawing.Size(380, 492);
85      this.treeView.TabIndex = 3;
86      this.treeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.treeView_AfterSelect);
87      //
88      // groupBoxDetails
89      //
90      this.groupBoxDetails.Controls.Add(this.panelParameterDetails);
91      this.groupBoxDetails.Dock = System.Windows.Forms.DockStyle.Fill;
92      this.groupBoxDetails.Location = new System.Drawing.Point(0, 0);
93      this.groupBoxDetails.Name = "groupBoxDetails";
94      this.groupBoxDetails.Size = new System.Drawing.Size(412, 499);
95      this.groupBoxDetails.TabIndex = 4;
96      this.groupBoxDetails.TabStop = false;
97      this.groupBoxDetails.Text = "Details";
98      //
99      // panelParameterDetails
100      //
101      this.panelParameterDetails.AutoScroll = true;
102      this.panelParameterDetails.Dock = System.Windows.Forms.DockStyle.Fill;
103      this.panelParameterDetails.Location = new System.Drawing.Point(3, 16);
104      this.panelParameterDetails.Name = "panelParameterDetails";
105      this.panelParameterDetails.Size = new System.Drawing.Size(406, 480);
106      this.panelParameterDetails.TabIndex = 0;
107      //
108      // splitContainer1
109      //
110      this.splitContainer1.Dock = System.Windows.Forms.DockStyle.Fill;
111      this.splitContainer1.Location = new System.Drawing.Point(3, 3);
112      this.splitContainer1.Name = "splitContainer1";
113      //
114      // splitContainer1.Panel1
115      //
116      this.splitContainer1.Panel1.Controls.Add(this.treeViewResults);
117      this.splitContainer1.Panel1.Padding = new System.Windows.Forms.Padding(0, 6, 0, 1);
118      //
119      // splitContainer1.Panel2
120      //
121      this.splitContainer1.Panel2.Controls.Add(this.groupBox);
122      this.splitContainer1.Size = new System.Drawing.Size(796, 499);
123      this.splitContainer1.SplitterDistance = 380;
124      this.splitContainer1.TabIndex = 7;
125      //
126      // treeViewResults
127      //
128      this.treeViewResults.CheckBoxes = true;
129      this.treeViewResults.Dock = System.Windows.Forms.DockStyle.Fill;
130      this.treeViewResults.Location = new System.Drawing.Point(0, 6);
131      this.treeViewResults.Name = "treeViewResults";
132      this.treeViewResults.Size = new System.Drawing.Size(380, 492);
133      this.treeViewResults.TabIndex = 6;
134      this.treeViewResults.AfterCheck += new System.Windows.Forms.TreeViewEventHandler(this.treeViewResults_AfterCheck);
135      this.treeViewResults.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.treeViewResults_AfterSelect);
136      //
137      // groupBox
138      //
139      this.groupBox.Controls.Add(this.panelResultDetails);
140      this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
141      this.groupBox.Location = new System.Drawing.Point(0, 0);
142      this.groupBox.Name = "groupBox";
143      this.groupBox.Size = new System.Drawing.Size(412, 499);
144      this.groupBox.TabIndex = 5;
145      this.groupBox.TabStop = false;
146      this.groupBox.Text = "Details";
147      //
148      // panelResultDetails
149      //
150      this.panelResultDetails.AutoScroll = true;
151      this.panelResultDetails.Dock = System.Windows.Forms.DockStyle.Fill;
152      this.panelResultDetails.Location = new System.Drawing.Point(3, 16);
153      this.panelResultDetails.Name = "panelResultDetails";
154      this.panelResultDetails.Size = new System.Drawing.Size(406, 480);
155      this.panelResultDetails.TabIndex = 0;
156      //
157      // splitContainer2
158      //
159      this.splitContainer2.Dock = System.Windows.Forms.DockStyle.Fill;
160      this.splitContainer2.Location = new System.Drawing.Point(3, 3);
161      this.splitContainer2.Name = "splitContainer2";
162      //
163      // splitContainer2.Panel1
164      //
165      this.splitContainer2.Panel1.Controls.Add(this.treeView);
166      this.splitContainer2.Panel1.Padding = new System.Windows.Forms.Padding(0, 6, 0, 1);
167      //
168      // splitContainer2.Panel2
169      //
170      this.splitContainer2.Panel2.Controls.Add(this.groupBoxDetails);
171      this.splitContainer2.Size = new System.Drawing.Size(796, 499);
172      this.splitContainer2.SplitterDistance = 380;
173      this.splitContainer2.TabIndex = 9;
174      //
175      // tabControl1
176      //
177      this.tabControl1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
178            | System.Windows.Forms.AnchorStyles.Left)
179            | System.Windows.Forms.AnchorStyles.Right)));
180      this.tabControl1.Controls.Add(this.tabPage1);
181      this.tabControl1.Controls.Add(this.tabPage2);
182      this.tabControl1.Location = new System.Drawing.Point(12, 38);
183      this.tabControl1.Name = "tabControl1";
184      this.tabControl1.SelectedIndex = 0;
185      this.tabControl1.Size = new System.Drawing.Size(810, 531);
186      this.tabControl1.TabIndex = 10;
187      //
188      // tabPage1
189      //
190      this.tabPage1.Controls.Add(this.splitContainer2);
191      this.tabPage1.Location = new System.Drawing.Point(4, 22);
192      this.tabPage1.Name = "tabPage1";
193      this.tabPage1.Padding = new System.Windows.Forms.Padding(3);
194      this.tabPage1.Size = new System.Drawing.Size(802, 505);
195      this.tabPage1.TabIndex = 0;
196      this.tabPage1.Text = "Parameters";
197      this.tabPage1.UseVisualStyleBackColor = true;
198      //
199      // tabPage2
200      //
201      this.tabPage2.Controls.Add(this.splitContainer1);
202      this.tabPage2.Location = new System.Drawing.Point(4, 22);
203      this.tabPage2.Name = "tabPage2";
204      this.tabPage2.Padding = new System.Windows.Forms.Padding(3);
205      this.tabPage2.Size = new System.Drawing.Size(802, 505);
206      this.tabPage2.TabIndex = 1;
207      this.tabPage2.Text = "Results";
208      this.tabPage2.UseVisualStyleBackColor = true;
209      //
210      // label1
211      //
212      this.label1.AutoSize = true;
213      this.label1.Location = new System.Drawing.Point(12, 15);
214      this.label1.Name = "label1";
215      this.label1.Size = new System.Drawing.Size(82, 13);
216      this.label1.TabIndex = 11;
217      this.label1.Text = "Template Name";
218      //
219      // textBoxTemplateName
220      //
221      this.textBoxTemplateName.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
222            | System.Windows.Forms.AnchorStyles.Right)));
223      this.errorProvider.SetIconAlignment(this.textBoxTemplateName, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
224      this.textBoxTemplateName.Location = new System.Drawing.Point(100, 12);
225      this.textBoxTemplateName.Name = "textBoxTemplateName";
226      this.textBoxTemplateName.Size = new System.Drawing.Size(721, 20);
227      this.textBoxTemplateName.TabIndex = 12;
228      this.textBoxTemplateName.Text = "Template";
229      this.textBoxTemplateName.Validating += new System.ComponentModel.CancelEventHandler(this.textBoxTemplateName_Validating);
230      //
231      // errorProvider
232      //
233      this.errorProvider.BlinkStyle = System.Windows.Forms.ErrorBlinkStyle.NeverBlink;
234      this.errorProvider.ContainerControl = this;
235      //
236      // jsonItemBindingSource
237      //
238      this.jsonItemBindingSource.DataSource = typeof(HeuristicLab.JsonInterface.IJsonItem);
239      //
240      // ExportJsonDialog
241      //
242      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
243      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
244      this.ClientSize = new System.Drawing.Size(834, 616);
245      this.Controls.Add(this.textBoxTemplateName);
246      this.Controls.Add(this.label1);
247      this.Controls.Add(this.exportButton);
248      this.Controls.Add(this.tabControl1);
249      this.Name = "ExportJsonDialog";
250      this.RightToLeft = System.Windows.Forms.RightToLeft.No;
251      this.Text = "Export Json";
252      this.groupBoxDetails.ResumeLayout(false);
253      this.splitContainer1.Panel1.ResumeLayout(false);
254      this.splitContainer1.Panel2.ResumeLayout(false);
255      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
256      this.splitContainer1.ResumeLayout(false);
257      this.groupBox.ResumeLayout(false);
258      this.splitContainer2.Panel1.ResumeLayout(false);
259      this.splitContainer2.Panel2.ResumeLayout(false);
260      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
261      this.splitContainer2.ResumeLayout(false);
262      this.tabControl1.ResumeLayout(false);
263      this.tabPage1.ResumeLayout(false);
264      this.tabPage2.ResumeLayout(false);
265      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
266      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).EndInit();
267      this.ResumeLayout(false);
268      this.PerformLayout();
269
270    }
271
272    #endregion
273
274    private System.Windows.Forms.BindingSource jsonItemBindingSource;
275    private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn1;
276    private System.Windows.Forms.Button exportButton;
277    private System.Windows.Forms.TreeView treeView;
278    private System.Windows.Forms.GroupBox groupBoxDetails;
279    private System.Windows.Forms.Panel panelParameterDetails;
280    private System.Windows.Forms.SplitContainer splitContainer2;
281    private System.Windows.Forms.TabControl tabControl1;
282    private System.Windows.Forms.TabPage tabPage1;
283    private System.Windows.Forms.TabPage tabPage2;
284    private System.Windows.Forms.TreeView treeViewResults;
285    private System.Windows.Forms.Label label1;
286    private System.Windows.Forms.TextBox textBoxTemplateName;
287    private System.Windows.Forms.ErrorProvider errorProvider;
288    private System.Windows.Forms.SplitContainer splitContainer1;
289    private System.Windows.Forms.GroupBox groupBox;
290    private System.Windows.Forms.Panel panelResultDetails;
291  }
292}
Note: See TracBrowser for help on using the repository browser.