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

Last change on this file since 17435 was 17435, checked in by dpiringe, 2 years ago

#3026:

  • set read-only to false for name input (in JsonItemBaseControl)
  • result items now can be selected/deselected in export dialog
  • removed metadata.problem property and renamed metadata.optimizer property to TemplateName in json template
  • fixed bug with wrong description for result items in AlgorithmConverter
  • refactored a lot of code in JCGenerator and added the need for a directory path (location for the template files)
  • fixed a null reference bug in JsonItemValidator (cannot try to iterate through possible null referenced collections)
File size: 10.8 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.panel = new System.Windows.Forms.Panel();
32      this.jsonItemBindingSource = new System.Windows.Forms.BindingSource(this.components);
33      this.resultItems = new System.Windows.Forms.CheckedListBox();
34      this.groupBox2 = new System.Windows.Forms.GroupBox();
35      this.groupBox3 = new System.Windows.Forms.GroupBox();
36      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
37      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
38      this.groupBoxDetails.SuspendLayout();
39      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).BeginInit();
40      this.groupBox2.SuspendLayout();
41      this.groupBox3.SuspendLayout();
42      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
43      this.splitContainer1.Panel1.SuspendLayout();
44      this.splitContainer1.Panel2.SuspendLayout();
45      this.splitContainer1.SuspendLayout();
46      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
47      this.splitContainer2.Panel1.SuspendLayout();
48      this.splitContainer2.Panel2.SuspendLayout();
49      this.splitContainer2.SuspendLayout();
50      this.SuspendLayout();
51      //
52      // dataGridViewTextBoxColumn1
53      //
54      this.dataGridViewTextBoxColumn1.DataPropertyName = "Value";
55      this.dataGridViewTextBoxColumn1.HeaderText = "Value";
56      this.dataGridViewTextBoxColumn1.Name = "dataGridViewTextBoxColumn1";
57      //
58      // exportButton
59      //
60      this.exportButton.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)
61            | System.Windows.Forms.AnchorStyles.Right)));
62      this.exportButton.Location = new System.Drawing.Point(3, 570);
63      this.exportButton.Name = "exportButton";
64      this.exportButton.Size = new System.Drawing.Size(422, 29);
65      this.exportButton.TabIndex = 1;
66      this.exportButton.Text = "Export";
67      this.exportButton.UseVisualStyleBackColor = true;
68      this.exportButton.Click += new System.EventHandler(this.exportButton_Click);
69      //
70      // treeView
71      //
72      this.treeView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
73            | System.Windows.Forms.AnchorStyles.Left)
74            | System.Windows.Forms.AnchorStyles.Right)));
75      this.treeView.Location = new System.Drawing.Point(6, 19);
76      this.treeView.Name = "treeView";
77      this.treeView.Size = new System.Drawing.Size(353, 327);
78      this.treeView.TabIndex = 3;
79      this.treeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.treeView_AfterSelect);
80      //
81      // groupBoxDetails
82      //
83      this.groupBoxDetails.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
84            | System.Windows.Forms.AnchorStyles.Left)
85            | System.Windows.Forms.AnchorStyles.Right)));
86      this.groupBoxDetails.Controls.Add(this.panel);
87      this.groupBoxDetails.Location = new System.Drawing.Point(3, 3);
88      this.groupBoxDetails.Name = "groupBoxDetails";
89      this.groupBoxDetails.Size = new System.Drawing.Size(422, 561);
90      this.groupBoxDetails.TabIndex = 4;
91      this.groupBoxDetails.TabStop = false;
92      this.groupBoxDetails.Text = "Details";
93      //
94      // panel
95      //
96      this.panel.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
97            | System.Windows.Forms.AnchorStyles.Left)
98            | System.Windows.Forms.AnchorStyles.Right)));
99      this.panel.AutoScroll = true;
100      this.panel.Location = new System.Drawing.Point(7, 20);
101      this.panel.Name = "panel";
102      this.panel.Size = new System.Drawing.Size(409, 535);
103      this.panel.TabIndex = 0;
104      //
105      // jsonItemBindingSource
106      //
107      this.jsonItemBindingSource.DataSource = typeof(HeuristicLab.JsonInterface.IJsonItem);
108      //
109      // resultItems
110      //
111      this.resultItems.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
112            | System.Windows.Forms.AnchorStyles.Left)
113            | System.Windows.Forms.AnchorStyles.Right)));
114      this.resultItems.FormattingEnabled = true;
115      this.resultItems.Location = new System.Drawing.Point(6, 19);
116      this.resultItems.Name = "resultItems";
117      this.resultItems.Size = new System.Drawing.Size(353, 199);
118      this.resultItems.TabIndex = 5;
119      //
120      // groupBox2
121      //
122      this.groupBox2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
123            | System.Windows.Forms.AnchorStyles.Left)
124            | System.Windows.Forms.AnchorStyles.Right)));
125      this.groupBox2.Controls.Add(this.treeView);
126      this.groupBox2.Location = new System.Drawing.Point(3, 3);
127      this.groupBox2.Name = "groupBox2";
128      this.groupBox2.Size = new System.Drawing.Size(365, 352);
129      this.groupBox2.TabIndex = 6;
130      this.groupBox2.TabStop = false;
131      this.groupBox2.Text = "Elements";
132      //
133      // groupBox3
134      //
135      this.groupBox3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
136            | System.Windows.Forms.AnchorStyles.Left)
137            | System.Windows.Forms.AnchorStyles.Right)));
138      this.groupBox3.Controls.Add(this.resultItems);
139      this.groupBox3.Location = new System.Drawing.Point(3, 3);
140      this.groupBox3.Name = "groupBox3";
141      this.groupBox3.Size = new System.Drawing.Size(365, 231);
142      this.groupBox3.TabIndex = 7;
143      this.groupBox3.TabStop = false;
144      this.groupBox3.Text = "Result Elements";
145      //
146      // splitContainer1
147      //
148      this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
149            | System.Windows.Forms.AnchorStyles.Left)
150            | System.Windows.Forms.AnchorStyles.Right)));
151      this.splitContainer1.Location = new System.Drawing.Point(3, 3);
152      this.splitContainer1.Name = "splitContainer1";
153      this.splitContainer1.Orientation = System.Windows.Forms.Orientation.Horizontal;
154      //
155      // splitContainer1.Panel1
156      //
157      this.splitContainer1.Panel1.Controls.Add(this.groupBox2);
158      //
159      // splitContainer1.Panel2
160      //
161      this.splitContainer1.Panel2.Controls.Add(this.groupBox3);
162      this.splitContainer1.Size = new System.Drawing.Size(371, 599);
163      this.splitContainer1.SplitterDistance = 358;
164      this.splitContainer1.TabIndex = 8;
165      //
166      // splitContainer2
167      //
168      this.splitContainer2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
169            | System.Windows.Forms.AnchorStyles.Left)
170            | System.Windows.Forms.AnchorStyles.Right)));
171      this.splitContainer2.Location = new System.Drawing.Point(12, 12);
172      this.splitContainer2.Name = "splitContainer2";
173      //
174      // splitContainer2.Panel1
175      //
176      this.splitContainer2.Panel1.Controls.Add(this.splitContainer1);
177      //
178      // splitContainer2.Panel2
179      //
180      this.splitContainer2.Panel2.Controls.Add(this.groupBoxDetails);
181      this.splitContainer2.Panel2.Controls.Add(this.exportButton);
182      this.splitContainer2.Size = new System.Drawing.Size(809, 605);
183      this.splitContainer2.SplitterDistance = 377;
184      this.splitContainer2.TabIndex = 9;
185      //
186      // ExportJsonDialog
187      //
188      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
189      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
190      this.ClientSize = new System.Drawing.Size(833, 629);
191      this.Controls.Add(this.splitContainer2);
192      this.Name = "ExportJsonDialog";
193      this.RightToLeft = System.Windows.Forms.RightToLeft.No;
194      this.ShowIcon = false;
195      this.Text = "Export Json";
196      this.groupBoxDetails.ResumeLayout(false);
197      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).EndInit();
198      this.groupBox2.ResumeLayout(false);
199      this.groupBox3.ResumeLayout(false);
200      this.splitContainer1.Panel1.ResumeLayout(false);
201      this.splitContainer1.Panel2.ResumeLayout(false);
202      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
203      this.splitContainer1.ResumeLayout(false);
204      this.splitContainer2.Panel1.ResumeLayout(false);
205      this.splitContainer2.Panel2.ResumeLayout(false);
206      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).EndInit();
207      this.splitContainer2.ResumeLayout(false);
208      this.ResumeLayout(false);
209
210    }
211
212    #endregion
213
214    private System.Windows.Forms.GroupBox groupBox1;
215    private System.Windows.Forms.BindingSource jsonItemBindingSource;
216    private System.Windows.Forms.DataGridViewTextBoxColumn dataGridViewTextBoxColumn1;
217    private System.Windows.Forms.Button exportButton;
218    private System.Windows.Forms.TreeView treeView;
219    private System.Windows.Forms.GroupBox groupBoxDetails;
220    private System.Windows.Forms.Panel panel;
221    private System.Windows.Forms.CheckedListBox resultItems;
222    private System.Windows.Forms.GroupBox groupBox2;
223    private System.Windows.Forms.GroupBox groupBox3;
224    private System.Windows.Forms.SplitContainer splitContainer1;
225    private System.Windows.Forms.SplitContainer splitContainer2;
226  }
227}
Note: See TracBrowser for help on using the repository browser.