Ignore:
Timestamp:
01/03/17 23:04:56 (3 years ago)
Author:
jzenisek
Message:

#2719 enhanced the optimizer's functionality

File:
1 edited

Legend:

Unmodified
Added
Removed
  • branches/HeuristicLab.DatastreamAnalysis/HeuristicLab.DatastreamAnalysis.Views/3.4/DatastreamAnalysisOptimizerView.Designer.cs

    r14536 r14538  
    4343      // startButton
    4444      //
    45       this.startButton.Location = new System.Drawing.Point(6, 636);
     45      this.startButton.Location = new System.Drawing.Point(9, 978);
     46      this.startButton.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     47      this.startButton.Size = new System.Drawing.Size(36, 37);
    4648      this.toolTip.SetToolTip(this.startButton, "Start/Resume Optimizer");
    4749      //
    4850      // executionTimeTextBox
    4951      //
    50       this.executionTimeTextBox.Location = new System.Drawing.Point(936, 640);
     52      this.executionTimeTextBox.Location = new System.Drawing.Point(1404, 985);
     53      this.executionTimeTextBox.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     54      this.executionTimeTextBox.Size = new System.Drawing.Size(204, 26);
    5155      //
    5256      // executionTimeLabel
    5357      //
    54       this.executionTimeLabel.Location = new System.Drawing.Point(847, 643);
     58      this.executionTimeLabel.Location = new System.Drawing.Point(1270, 989);
     59      this.executionTimeLabel.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0);
    5560      //
    5661      // pauseButton
    5762      //
    58       this.pauseButton.Location = new System.Drawing.Point(36, 636);
     63      this.pauseButton.Location = new System.Drawing.Point(54, 978);
     64      this.pauseButton.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     65      this.pauseButton.Size = new System.Drawing.Size(36, 37);
    5966      this.toolTip.SetToolTip(this.pauseButton, "Pause Optimizer");
    6067      //
    6168      // stopButton
    6269      //
    63       this.stopButton.Location = new System.Drawing.Point(66, 636);
     70      this.stopButton.Location = new System.Drawing.Point(99, 978);
     71      this.stopButton.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     72      this.stopButton.Size = new System.Drawing.Size(36, 37);
    6473      this.toolTip.SetToolTip(this.stopButton, "Stop Optimizer");
    6574      //
    6675      // resetButton
    6776      //
    68       this.resetButton.Location = new System.Drawing.Point(96, 636);
     77      this.resetButton.Location = new System.Drawing.Point(144, 978);
     78      this.resetButton.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     79      this.resetButton.Size = new System.Drawing.Size(36, 37);
    6980      this.toolTip.SetToolTip(this.resetButton, "Reset Optimizer");
    7081      //
     
    7384      this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft);
    7485      this.errorProvider.SetIconPadding(this.nameTextBox, 2);
    75       this.nameTextBox.Size = new System.Drawing.Size(1008, 20);
     86      this.nameTextBox.Location = new System.Drawing.Point(87, 0);
     87      this.nameTextBox.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     88      this.nameTextBox.Size = new System.Drawing.Size(1510, 26);
     89      //
     90      // nameLabel
     91      //
     92      this.nameLabel.Location = new System.Drawing.Point(4, 5);
     93      this.nameLabel.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0);
    7694      //
    7795      // infoLabel
    7896      //
    79       this.infoLabel.Location = new System.Drawing.Point(995, 3);
     97      this.infoLabel.Location = new System.Drawing.Point(1492, 5);
     98      this.infoLabel.Margin = new System.Windows.Forms.Padding(4, 0, 4, 0);
     99      this.infoLabel.Size = new System.Drawing.Size(24, 25);
    80100      //
    81101      // tabControl
    82102      //
    83103      this.tabControl.AllowDrop = true;
    84       this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    85             | System.Windows.Forms.AnchorStyles.Left)
     104      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 
     105            | System.Windows.Forms.AnchorStyles.Left) 
    86106            | System.Windows.Forms.AnchorStyles.Right)));
    87107      this.tabControl.Controls.Add(this.ensemblesTab);
     
    89109      this.tabControl.Controls.Add(this.resultsTab);
    90110      this.tabControl.Controls.Add(this.runsTab);
    91       this.tabControl.Location = new System.Drawing.Point(3, 26);
     111      this.tabControl.Location = new System.Drawing.Point(4, 40);
     112      this.tabControl.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    92113      this.tabControl.Name = "tabControl";
    93114      this.tabControl.SelectedIndex = 0;
    94       this.tabControl.Size = new System.Drawing.Size(1070, 604);
     115      this.tabControl.Size = new System.Drawing.Size(1605, 929);
    95116      this.tabControl.TabIndex = 0;
    96117      //
     
    99120      this.ensemblesTab.AllowDrop = true;
    100121      this.ensemblesTab.Controls.Add(this.ensemblesViewHost);
    101       this.ensemblesTab.Location = new System.Drawing.Point(4, 22);
     122      this.ensemblesTab.Location = new System.Drawing.Point(4, 29);
     123      this.ensemblesTab.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    102124      this.ensemblesTab.Name = "ensemblesTab";
    103       this.ensemblesTab.Padding = new System.Windows.Forms.Padding(3);
    104       this.ensemblesTab.Size = new System.Drawing.Size(527, 259);
     125      this.ensemblesTab.Padding = new System.Windows.Forms.Padding(4, 5, 4, 5);
     126      this.ensemblesTab.Size = new System.Drawing.Size(1597, 896);
    105127      this.ensemblesTab.TabIndex = 0;
    106128      this.ensemblesTab.Text = "Ensembles";
     
    118140      this.ensemblesViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
    119141      this.ensemblesViewHost.Enabled = false;
    120       this.ensemblesViewHost.Location = new System.Drawing.Point(3, 3);
     142      this.ensemblesViewHost.Location = new System.Drawing.Point(4, 5);
     143      this.ensemblesViewHost.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    121144      this.ensemblesViewHost.Name = "ensemblesViewHost";
    122145      this.ensemblesViewHost.ReadOnly = false;
    123       this.ensemblesViewHost.Size = new System.Drawing.Size(521, 253);
     146      this.ensemblesViewHost.Size = new System.Drawing.Size(1589, 886);
    124147      this.ensemblesViewHost.TabIndex = 0;
    125148      this.ensemblesViewHost.ViewsLabelVisible = true;
     
    130153      this.datastreamTab.AllowDrop = true;
    131154      this.datastreamTab.Controls.Add(this.datastreamViewHost);
    132       this.datastreamTab.Location = new System.Drawing.Point(4, 22);
     155      this.datastreamTab.Location = new System.Drawing.Point(4, 29);
     156      this.datastreamTab.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    133157      this.datastreamTab.Name = "datastreamTab";
    134       this.datastreamTab.Padding = new System.Windows.Forms.Padding(3);
    135       this.datastreamTab.Size = new System.Drawing.Size(950, 554);
     158      this.datastreamTab.Padding = new System.Windows.Forms.Padding(4, 5, 4, 5);
     159      this.datastreamTab.Size = new System.Drawing.Size(1597, 896);
    136160      this.datastreamTab.TabIndex = 1;
    137161      this.datastreamTab.Text = "Datastream";
     
    147171      this.datastreamViewHost.Dock = System.Windows.Forms.DockStyle.Fill;
    148172      this.datastreamViewHost.Enabled = false;
    149       this.datastreamViewHost.Location = new System.Drawing.Point(3, 3);
     173      this.datastreamViewHost.Location = new System.Drawing.Point(4, 5);
     174      this.datastreamViewHost.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    150175      this.datastreamViewHost.Name = "datastreamViewHost";
    151176      this.datastreamViewHost.ReadOnly = false;
    152       this.datastreamViewHost.Size = new System.Drawing.Size(944, 548);
     177      this.datastreamViewHost.Size = new System.Drawing.Size(1589, 886);
    153178      this.datastreamViewHost.TabIndex = 0;
    154179      this.datastreamViewHost.ViewsLabelVisible = true;
     
    158183      //
    159184      this.resultsTab.Controls.Add(this.resultsView);
    160       this.resultsTab.Location = new System.Drawing.Point(4, 22);
     185      this.resultsTab.Location = new System.Drawing.Point(4, 29);
     186      this.resultsTab.Padding = new System.Windows.Forms.Padding(4, 5, 4, 5);
     187      this.resultsTab.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    161188      this.resultsTab.Name = "resultsTab";
    162       this.resultsTab.Size = new System.Drawing.Size(950, 554);
     189      this.resultsTab.Size = new System.Drawing.Size(1597, 896);
    163190      this.resultsTab.TabIndex = 3;
    164191      this.resultsTab.Text = "Results";
    165192      this.resultsTab.UseVisualStyleBackColor = true;
    166193      //
    167       // resultsViewHost
     194      // resultsView
    168195      //
    169196      this.resultsView.Caption = "View";
     
    171198      this.resultsView.Dock = System.Windows.Forms.DockStyle.Fill;
    172199      this.resultsView.Enabled = false;
    173       this.resultsView.Location = new System.Drawing.Point(0, 0);
    174       this.resultsView.Name = "resultsViewHost";
    175       this.resultsView.ReadOnly = false;
    176       this.resultsView.Size = new System.Drawing.Size(950, 554);
     200      this.resultsView.Location = new System.Drawing.Point(4, 5);
     201      this.resultsView.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     202      this.resultsView.Name = "resultsView";
     203      this.resultsView.ReadOnly = true;
     204      this.resultsView.ShowDetails = true;
     205      this.resultsView.Size = new System.Drawing.Size(1597, 896);
    177206      this.resultsView.TabIndex = 0;
    178       //
     207      // 
    179208      // runsTab
    180       //
    181       //this.runsTabPage.Controls.Add(this.storeAlgorithmInEachRunCheckBox);
     209      //
    182210      this.runsTab.Controls.Add(this.runsView);
    183       this.runsTab.Location = new System.Drawing.Point(4, 22);
    184       this.runsTab.Name = "runsTabPage";
    185       this.runsTab.Padding = new System.Windows.Forms.Padding(3);
    186       this.runsTab.Size = new System.Drawing.Size(950, 554);
     211      this.runsTab.Location = new System.Drawing.Point(4, 29);
     212      this.runsTab.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
     213      this.runsTab.Name = "runsTab";
     214      this.runsTab.Padding = new System.Windows.Forms.Padding(4, 5, 4, 5);
     215      this.runsTab.Size = new System.Drawing.Size(1597, 896);
    187216      this.runsTab.TabIndex = 3;
    188217      this.runsTab.Text = "Runs";
    189218      this.runsTab.UseVisualStyleBackColor = true;
    190       //
     219      // 
    191220      // runsView
    192       //
    193       this.runsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    194       | System.Windows.Forms.AnchorStyles.Left)
    195       | System.Windows.Forms.AnchorStyles.Right)));
     221      //
    196222      this.runsView.Caption = "RunCollection View";
    197223      this.runsView.Content = null;
    198       this.runsView.Location = new System.Drawing.Point(0, 0);
     224      this.runsView.Dock = System.Windows.Forms.DockStyle.Fill;
     225      this.runsView.Enabled = false;
     226      this.runsView.Location = new System.Drawing.Point(4, 5);
     227      this.runsView.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    199228      this.runsView.Name = "runsView";
    200229      this.runsView.ReadOnly = false;
    201       this.runsView.Size = new System.Drawing.Size(950, 554);
     230      this.runsView.Size = new System.Drawing.Size(1589, 886);
    202231      this.runsView.TabIndex = 0;
    203232      //
     
    205234      //
    206235      this.AllowDrop = true;
    207       this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
     236      this.AutoScaleDimensions = new System.Drawing.SizeF(9F, 20F);
    208237      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    209238      this.Controls.Add(this.tabControl);
     239      this.Margin = new System.Windows.Forms.Padding(4, 5, 4, 5);
    210240      this.Name = "DatastreamAnalysisOptimizerView";
    211       this.Size = new System.Drawing.Size(1076, 663);
     241      this.Size = new System.Drawing.Size(1614, 1020);
    212242      this.Controls.SetChildIndex(this.tabControl, 0);
    213243      this.Controls.SetChildIndex(this.nameLabel, 0);
     
    225255      this.datastreamTab.ResumeLayout(false);
    226256      this.resultsTab.ResumeLayout(false);
     257      this.runsTab.ResumeLayout(false);
    227258      this.ResumeLayout(false);
    228259      this.PerformLayout();
Note: See TracChangeset for help on using the changeset viewer.