Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
02/25/20 17:18:00 (4 years ago)
Author:
dpiringe
Message:

#3026:

  • renamed ResultItem to ResultJsonItem
  • implemented RegressionProblemDataConverter
  • added support for "named matrices" (named = rows and columns have names) -> INamedMatrixJsonItem incl. base classes and views
  • added a bool property Active in IJsonItem -> marks items, which should be written into the template
File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/ExportJsonDialog.Designer.cs

    r17446 r17451  
    3030      this.groupBoxDetails = new System.Windows.Forms.GroupBox();
    3131      this.panelParameterDetails = new System.Windows.Forms.Panel();
    32       this.resultItems = new System.Windows.Forms.CheckedListBox();
    33       this.groupBox3 = new System.Windows.Forms.GroupBox();
     32      this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    3433      this.treeViewResults = new System.Windows.Forms.TreeView();
     34      this.groupBox = new System.Windows.Forms.GroupBox();
     35      this.panelResultDetails = new System.Windows.Forms.Panel();
    3536      this.splitContainer2 = new System.Windows.Forms.SplitContainer();
    3637      this.tabControl1 = new System.Windows.Forms.TabControl();
    … …  
    4041      this.textBoxTemplateName = new System.Windows.Forms.TextBox();
    4142      this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
    42       this.splitContainer1 = new System.Windows.Forms.SplitContainer();
    43       this.groupBox = new System.Windows.Forms.GroupBox();
    44       this.panelResultDetails = new System.Windows.Forms.Panel();
    4543      this.jsonItemBindingSource = new System.Windows.Forms.BindingSource(this.components);
    4644      this.groupBoxDetails.SuspendLayout();
    47       this.groupBox3.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();
    4850      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
    4951      this.splitContainer2.Panel1.SuspendLayout();
    … …  
    5456      this.tabPage2.SuspendLayout();
    5557      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
    56       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
    57       this.splitContainer1.Panel1.SuspendLayout();
    58       this.splitContainer1.Panel2.SuspendLayout();
    59       this.splitContainer1.SuspendLayout();
    60       this.groupBox.SuspendLayout();
    6158      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).BeginInit();
    6259      this.SuspendLayout();
    … …  
    8582      this.treeView.Location = new System.Drawing.Point(0, 6);
    8683      this.treeView.Name = "treeView";
    87       this.treeView.Size = new System.Drawing.Size(370, 493);
     84      this.treeView.Size = new System.Drawing.Size(380, 492);
    8885      this.treeView.TabIndex = 3;
    8986      this.treeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.treeView_AfterSelect);
    … …  
    9592      this.groupBoxDetails.Location = new System.Drawing.Point(0, 0);
    9693      this.groupBoxDetails.Name = "groupBoxDetails";
    97       this.groupBoxDetails.Size = new System.Drawing.Size(422, 499);
     94      this.groupBoxDetails.Size = new System.Drawing.Size(412, 499);
    9895      this.groupBoxDetails.TabIndex = 4;
    9996      this.groupBoxDetails.TabStop = false;
    … …  
    106103      this.panelParameterDetails.Location = new System.Drawing.Point(3, 16);
    107104      this.panelParameterDetails.Name = "panelParameterDetails";
    108       this.panelParameterDetails.Size = new System.Drawing.Size(416, 480);
     105      this.panelParameterDetails.Size = new System.Drawing.Size(406, 480);
    109106      this.panelParameterDetails.TabIndex = 0;
    110107      //
    111       // resultItems
    112       //
    113       this.resultItems.Dock = System.Windows.Forms.DockStyle.Fill;
    114       this.resultItems.FormattingEnabled = true;
    115       this.resultItems.Location = new System.Drawing.Point(0, 6);
    116       this.resultItems.Name = "resultItems";
    117       this.resultItems.Size = new System.Drawing.Size(373, 393);
    118       this.resultItems.TabIndex = 5;
    119       this.resultItems.SelectedValueChanged += new System.EventHandler(this.resultItems_SelectedValueChanged);
    120       //
    121       // groupBox3
    122       //
    123       this.groupBox3.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    124             | System.Windows.Forms.AnchorStyles.Left)
    125             | System.Windows.Forms.AnchorStyles.Right)));
    126       this.groupBox3.Controls.Add(this.splitContainer1);
    127       this.groupBox3.Controls.Add(this.treeViewResults);
    128       this.groupBox3.Location = new System.Drawing.Point(6, 6);
    129       this.groupBox3.Name = "groupBox3";
    130       this.groupBox3.Size = new System.Drawing.Size(790, 493);
    131       this.groupBox3.TabIndex = 7;
    132       this.groupBox3.TabStop = false;
    133       this.groupBox3.Text = "Result Elements";
     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;
    134125      //
    135126      // treeViewResults
    136127      //
    137128      this.treeViewResults.CheckBoxes = true;
    138       this.treeViewResults.Location = new System.Drawing.Point(6, 19);
     129      this.treeViewResults.Dock = System.Windows.Forms.DockStyle.Fill;
     130      this.treeViewResults.Location = new System.Drawing.Point(0, 6);
    139131      this.treeViewResults.Name = "treeViewResults";
    140       this.treeViewResults.Size = new System.Drawing.Size(777, 63);
     132      this.treeViewResults.Size = new System.Drawing.Size(380, 492);
    141133      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;
    142156      //
    143157      // splitContainer2
    … …  
    150164      //
    151165      this.splitContainer2.Panel1.Controls.Add(this.treeView);
    152       this.splitContainer2.Panel1.Padding = new System.Windows.Forms.Padding(0, 6, 0, 0);
     166      this.splitContainer2.Panel1.Padding = new System.Windows.Forms.Padding(0, 6, 0, 1);
    153167      //
    154168      // splitContainer2.Panel2
    … …  
    156170      this.splitContainer2.Panel2.Controls.Add(this.groupBoxDetails);
    157171      this.splitContainer2.Size = new System.Drawing.Size(796, 499);
    158       this.splitContainer2.SplitterDistance = 370;
     172      this.splitContainer2.SplitterDistance = 380;
    159173      this.splitContainer2.TabIndex = 9;
    160174      //
    … …  
    185199      // tabPage2
    186200      //
    187       this.tabPage2.Controls.Add(this.groupBox3);
     201      this.tabPage2.Controls.Add(this.splitContainer1);
    188202      this.tabPage2.Location = new System.Drawing.Point(4, 22);
    189203      this.tabPage2.Name = "tabPage2";
    … …  
    219233      this.errorProvider.BlinkStyle = System.Windows.Forms.ErrorBlinkStyle.NeverBlink;
    220234      this.errorProvider.ContainerControl = this;
    221       //
    222       // splitContainer1
    223       //
    224       this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    225             | System.Windows.Forms.AnchorStyles.Left)
    226             | System.Windows.Forms.AnchorStyles.Right)));
    227       this.splitContainer1.Location = new System.Drawing.Point(6, 88);
    228       this.splitContainer1.Name = "splitContainer1";
    229       //
    230       // splitContainer1.Panel1
    231       //
    232       this.splitContainer1.Panel1.Controls.Add(this.resultItems);
    233       this.splitContainer1.Panel1.Padding = new System.Windows.Forms.Padding(0, 6, 0, 0);
    234       //
    235       // splitContainer1.Panel2
    236       //
    237       this.splitContainer1.Panel2.Controls.Add(this.groupBox);
    238       this.splitContainer1.Size = new System.Drawing.Size(778, 399);
    239       this.splitContainer1.SplitterDistance = 373;
    240       this.splitContainer1.TabIndex = 7;
    241       //
    242       // groupBox
    243       //
    244       this.groupBox.Controls.Add(this.panelResultDetails);
    245       this.groupBox.Dock = System.Windows.Forms.DockStyle.Fill;
    246       this.groupBox.Location = new System.Drawing.Point(0, 0);
    247       this.groupBox.Name = "groupBox";
    248       this.groupBox.Size = new System.Drawing.Size(401, 399);
    249       this.groupBox.TabIndex = 5;
    250       this.groupBox.TabStop = false;
    251       this.groupBox.Text = "Details";
    252       //
    253       // panelResultDetails
    254       //
    255       this.panelResultDetails.AutoScroll = true;
    256       this.panelResultDetails.Dock = System.Windows.Forms.DockStyle.Fill;
    257       this.panelResultDetails.Location = new System.Drawing.Point(3, 16);
    258       this.panelResultDetails.Name = "panelResultDetails";
    259       this.panelResultDetails.Size = new System.Drawing.Size(395, 380);
    260       this.panelResultDetails.TabIndex = 0;
    261235      //
    262236      // jsonItemBindingSource
    … …  
    278252      this.Text = "Export Json";
    279253      this.groupBoxDetails.ResumeLayout(false);
    280       this.groupBox3.ResumeLayout(false);
     254      this.splitContainer1.Panel1.ResumeLayout(false);
     255      this.splitContainer1.Panel2.ResumeLayout(false);
     256      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
     257      this.splitContainer1.ResumeLayout(false);
     258      this.groupBox.ResumeLayout(false);
    281259      this.splitContainer2.Panel1.ResumeLayout(false);
    282260      this.splitContainer2.Panel2.ResumeLayout(false);
    … …  
    287265      this.tabPage2.ResumeLayout(false);
    288266      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
    289       this.splitContainer1.Panel1.ResumeLayout(false);
    290       this.splitContainer1.Panel2.ResumeLayout(false);
    291       ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
    292       this.splitContainer1.ResumeLayout(false);
    293       this.groupBox.ResumeLayout(false);
    294267      ((System.ComponentModel.ISupportInitialize)(this.jsonItemBindingSource)).EndInit();
    295268      this.ResumeLayout(false);
    … …  
    307280    private System.Windows.Forms.GroupBox groupBoxDetails;
    308281    private System.Windows.Forms.Panel panelParameterDetails;
    309     private System.Windows.Forms.CheckedListBox resultItems;
    310     private System.Windows.Forms.GroupBox groupBox3;
    311282    private System.Windows.Forms.SplitContainer splitContainer2;
    312283    private System.Windows.Forms.TabControl tabControl1;
Note: See TracChangeset for help on using the changeset viewer.