Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
01/21/20 17:14:46 (4 years ago)
Author:
dpiringe
Message:

#3026:

  • added a new way to setup the targeted result types
  • added new ui controls: NumericRangeControl, JsonItemArrayControl, JsonItemDefaultControl
  • redesigned export dialog -> now the user can navigate with a tree view
  • enhanced JsonItemVM
File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/3026_IntegrationIntoSymSpace/HeuristicLab.JsonInterface.OptimizerIntegration/Views/JsonItemRangeControl.Designer.cs

    r17404 r17405  
    2929      this.label4 = new System.Windows.Forms.Label();
    3030      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();
     31      this.numericRangeControl1 = new HeuristicLab.JsonInterface.OptimizerIntegration.Shared.NumericRangeControl();
    3632      this.groupBox1.SuspendLayout();
    37       this.groupBox2.SuspendLayout();
    3833      this.SuspendLayout();
    3934      //
     
    4641      this.groupBox1.Controls.Add(this.label4);
    4742      this.groupBox1.Controls.Add(this.label2);
    48       this.groupBox1.Location = new System.Drawing.Point(9, 81);
     43      this.groupBox1.Location = new System.Drawing.Point(9, 75);
    4944      this.groupBox1.Name = "groupBox1";
    5045      this.groupBox1.Size = new System.Drawing.Size(487, 64);
     
    9388      this.label2.Text = "From";
    9489      //
    95       // textBoxRangeTo
     90      // numericRangeControl1
    9691      //
    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";
     92      this.numericRangeControl1.Location = new System.Drawing.Point(9, 145);
     93      this.numericRangeControl1.Name = "numericRangeControl1";
     94      this.numericRangeControl1.Size = new System.Drawing.Size(487, 112);
     95      this.numericRangeControl1.TabIndex = 18;
     96      this.numericRangeControl1.Load += new System.EventHandler(this.numericRangeControl1_Load);
    14997      //
    15098      // JsonItemRangeControl
     
    152100      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    153101      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    154       this.Controls.Add(this.groupBox2);
     102      this.Controls.Add(this.numericRangeControl1);
    155103      this.Controls.Add(this.groupBox1);
    156104      this.Name = "JsonItemRangeControl";
    157       this.Size = new System.Drawing.Size(500, 220);
     105      this.Size = new System.Drawing.Size(500, 262);
    158106      this.Controls.SetChildIndex(this.groupBox1, 0);
    159       this.Controls.SetChildIndex(this.groupBox2, 0);
     107      this.Controls.SetChildIndex(this.numericRangeControl1, 0);
    160108      this.groupBox1.ResumeLayout(false);
    161109      this.groupBox1.PerformLayout();
    162       this.groupBox2.ResumeLayout(false);
    163       this.groupBox2.PerformLayout();
    164110      this.ResumeLayout(false);
    165111      this.PerformLayout();
     
    174120    private System.Windows.Forms.Label label4;
    175121    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;
     122    private Shared.NumericRangeControl numericRangeControl1;
    181123  }
    182124}
Note: See TracChangeset for help on using the changeset viewer.