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/JsonItemValidValuesControl.Designer.cs

    r17404 r17405  
    2424    /// </summary>
    2525    private void InitializeComponent() {
    26       this.textBoxAdd = new System.Windows.Forms.TextBox();
    2726      this.tableOptions = new System.Windows.Forms.TableLayoutPanel();
    28       this.buttonAdd = new System.Windows.Forms.Button();
    29       this.groupBox1 = new System.Windows.Forms.GroupBox();
    30       this.panel2 = new System.Windows.Forms.Panel();
     27      this.groupBoxRange = new System.Windows.Forms.GroupBox();
    3128      this.comboBoxValues = new System.Windows.Forms.ComboBox();
    32       this.tableOptions.SuspendLayout();
    33       this.groupBox1.SuspendLayout();
    34       this.panel2.SuspendLayout();
     29      this.label2 = new System.Windows.Forms.Label();
     30      this.groupBoxRange.SuspendLayout();
    3531      this.SuspendLayout();
    36       //
    37       // textBoxAdd
    38       //
    39       this.textBoxAdd.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    40             | System.Windows.Forms.AnchorStyles.Right)));
    41       this.textBoxAdd.Location = new System.Drawing.Point(3, 3);
    42       this.textBoxAdd.Name = "textBoxAdd";
    43       this.textBoxAdd.Size = new System.Drawing.Size(420, 20);
    44       this.textBoxAdd.TabIndex = 10;
    4532      //
    4633      // tableOptions
    4734      //
    48       this.tableOptions.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
     35      this.tableOptions.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     36            | System.Windows.Forms.AnchorStyles.Left)
    4937            | System.Windows.Forms.AnchorStyles.Right)));
    5038      this.tableOptions.AutoSize = true;
    5139      this.tableOptions.ColumnCount = 2;
     40      this.tableOptions.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 20F));
    5241      this.tableOptions.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle());
    53       this.tableOptions.ColumnStyles.Add(new System.Windows.Forms.ColumnStyle(System.Windows.Forms.SizeType.Absolute, 43F));
    54       this.tableOptions.Controls.Add(this.textBoxAdd, 0, 0);
    55       this.tableOptions.Controls.Add(this.buttonAdd, 1, 0);
    56       this.tableOptions.Location = new System.Drawing.Point(3, 3);
     42      this.tableOptions.Location = new System.Drawing.Point(6, 19);
    5743      this.tableOptions.Name = "tableOptions";
    5844      this.tableOptions.RowCount = 1;
    5945      this.tableOptions.RowStyles.Add(new System.Windows.Forms.RowStyle());
    60       this.tableOptions.Size = new System.Drawing.Size(469, 73);
     46      this.tableOptions.Size = new System.Drawing.Size(478, 151);
    6147      this.tableOptions.TabIndex = 12;
    6248      //
    63       // buttonAdd
     49      // groupBoxRange
    6450      //
    65       this.buttonAdd.Location = new System.Drawing.Point(446, 3);
    66       this.buttonAdd.Name = "buttonAdd";
    67       this.buttonAdd.Size = new System.Drawing.Size(20, 20);
    68       this.buttonAdd.TabIndex = 12;
    69       this.buttonAdd.Text = "+";
    70       this.buttonAdd.UseVisualStyleBackColor = true;
    71       this.buttonAdd.Click += new System.EventHandler(this.buttonAdd_Click);
    72       //
    73       // groupBox1
    74       //
    75       this.groupBox1.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    76             | System.Windows.Forms.AnchorStyles.Right)));
    77       this.groupBox1.Controls.Add(this.panel2);
    78       this.groupBox1.Location = new System.Drawing.Point(6, 107);
    79       this.groupBox1.Name = "groupBox1";
    80       this.groupBox1.Size = new System.Drawing.Size(488, 104);
    81       this.groupBox1.TabIndex = 14;
    82       this.groupBox1.TabStop = false;
    83       this.groupBox1.Text = "Range";
    84       //
    85       // panel2
    86       //
    87       this.panel2.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     51      this.groupBoxRange.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    8852            | System.Windows.Forms.AnchorStyles.Left)
    8953            | System.Windows.Forms.AnchorStyles.Right)));
    90       this.panel2.AutoScroll = true;
    91       this.panel2.Controls.Add(this.tableOptions);
    92       this.panel2.Location = new System.Drawing.Point(7, 20);
    93       this.panel2.Name = "panel2";
    94       this.panel2.Size = new System.Drawing.Size(475, 78);
    95       this.panel2.TabIndex = 0;
     54      this.groupBoxRange.AutoSize = true;
     55      this.groupBoxRange.Controls.Add(this.tableOptions);
     56      this.groupBoxRange.Location = new System.Drawing.Point(6, 108);
     57      this.groupBoxRange.Name = "groupBoxRange";
     58      this.groupBoxRange.Size = new System.Drawing.Size(490, 176);
     59      this.groupBoxRange.TabIndex = 14;
     60      this.groupBoxRange.TabStop = false;
     61      this.groupBoxRange.Text = "Range";
    9662      //
    9763      // comboBoxValues
    … …  
    10167      this.comboBoxValues.DropDownStyle = System.Windows.Forms.ComboBoxStyle.DropDownList;
    10268      this.comboBoxValues.FormattingEnabled = true;
    103       this.comboBoxValues.Location = new System.Drawing.Point(92, 81);
     69      this.comboBoxValues.Location = new System.Drawing.Point(92, 75);
    10470      this.comboBoxValues.Name = "comboBoxValues";
    105       this.comboBoxValues.Size = new System.Drawing.Size(402, 21);
     71      this.comboBoxValues.Size = new System.Drawing.Size(404, 21);
    10672      this.comboBoxValues.TabIndex = 15;
     73      //
     74      // label2
     75      //
     76      this.label2.AutoSize = true;
     77      this.label2.Location = new System.Drawing.Point(6, 78);
     78      this.label2.Name = "label2";
     79      this.label2.Size = new System.Drawing.Size(34, 13);
     80      this.label2.TabIndex = 16;
     81      this.label2.Text = "Value";
    10782      //
    10883      // JsonItemValidValuesControl
    … …  
    11085      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    11186      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
     87      this.AutoSize = true;
     88      this.Controls.Add(this.label2);
    11289      this.Controls.Add(this.comboBoxValues);
    113       this.Controls.Add(this.groupBox1);
     90      this.Controls.Add(this.groupBoxRange);
    11491      this.ForeColor = System.Drawing.Color.Black;
    11592      this.Name = "JsonItemValidValuesControl";
    116       this.Size = new System.Drawing.Size(500, 217);
     93      this.Size = new System.Drawing.Size(500, 290);
    11794      this.Load += new System.EventHandler(this.JsonItemValidValuesControl_Load);
    118       this.Controls.SetChildIndex(this.groupBox1, 0);
     95      this.Controls.SetChildIndex(this.groupBoxRange, 0);
    11996      this.Controls.SetChildIndex(this.comboBoxValues, 0);
    120       this.tableOptions.ResumeLayout(false);
    121       this.tableOptions.PerformLayout();
    122       this.groupBox1.ResumeLayout(false);
    123       this.panel2.ResumeLayout(false);
    124       this.panel2.PerformLayout();
     97      this.Controls.SetChildIndex(this.label2, 0);
     98      this.groupBoxRange.ResumeLayout(false);
     99      this.groupBoxRange.PerformLayout();
    125100      this.ResumeLayout(false);
    126101      this.PerformLayout();
    … …  
    129104
    130105    #endregion
    131     private System.Windows.Forms.TextBox textBoxAdd;
    132     private System.Windows.Forms.Button buttonAdd;
    133106    private System.Windows.Forms.TableLayoutPanel tableOptions;
    134     private System.Windows.Forms.GroupBox groupBox1;
    135     private System.Windows.Forms.Panel panel2;
     107    private System.Windows.Forms.GroupBox groupBoxRange;
    136108    private System.Windows.Forms.ComboBox comboBoxValues;
     109    private System.Windows.Forms.Label label2;
    137110  }
    138111}
Note: See TracChangeset for help on using the changeset viewer.