Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
08/01/11 17:48:53 (13 years ago)
Author:
mkommend
Message:

#1479: Integrated trunk changes.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/GP.Grammar.Editor/HeuristicLab.Optimization.Views/3.3/BatchRunView.Designer.cs

    r5832 r6618  
    3434    /// </summary>
    3535    private void InitializeComponent() {
     36      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(BatchRunView));
    3637      this.tabControl = new HeuristicLab.MainForm.WindowsForms.DragOverTabControl();
    3738      this.optimizerTabPage = new System.Windows.Forms.TabPage();
    … …  
    4142      this.runsTabPage = new System.Windows.Forms.TabPage();
    4243      this.runsView = new HeuristicLab.Optimization.Views.RunCollectionView();
    43       this.startButton = new System.Windows.Forms.Button();
    44       this.stopButton = new System.Windows.Forms.Button();
    45       this.resetButton = new System.Windows.Forms.Button();
    46       this.executionTimeLabel = new System.Windows.Forms.Label();
    47       this.executionTimeTextBox = new System.Windows.Forms.TextBox();
    4844      this.openFileDialog = new System.Windows.Forms.OpenFileDialog();
    4945      this.repetitionsLabel = new System.Windows.Forms.Label();
    5046      this.repetitionsNumericUpDown = new System.Windows.Forms.NumericUpDown();
    51       this.pauseButton = new System.Windows.Forms.Button();
    5247      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
    5348      this.tabControl.SuspendLayout();
    … …  
    5752      this.SuspendLayout();
    5853      //
     54      // startButton
     55      //
     56      this.startButton.Location = new System.Drawing.Point(0, 459);
     57      this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment");
     58      //
     59      // executionTimeTextBox
     60      //
     61      this.executionTimeTextBox.Location = new System.Drawing.Point(542, 462);
     62      //
     63      // executionTimeLabel
     64      //
     65      this.executionTimeLabel.Location = new System.Drawing.Point(453, 465);
     66      //
     67      // pauseButton
     68      //
     69      this.pauseButton.Location = new System.Drawing.Point(30, 459);
     70      this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment");
     71      //
     72      // stopButton
     73      //
     74      this.stopButton.Location = new System.Drawing.Point(60, 459);
     75      this.toolTip.SetToolTip(this.stopButton, "Stop Experiment");
     76      //
     77      // resetButton
     78      //
     79      this.resetButton.Location = new System.Drawing.Point(90, 458);
     80      this.toolTip.SetToolTip(this.resetButton, "Reset Experiment");
     81      //
    5982      // nameTextBox
    6083      //
    … …  
    7295      this.tabControl.AllowDrop = true;
    7396      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    74                   | System.Windows.Forms.AnchorStyles.Left)
    75                   | System.Windows.Forms.AnchorStyles.Right)));
     97            | System.Windows.Forms.AnchorStyles.Left)
     98            | System.Windows.Forms.AnchorStyles.Right)));
    7699      this.tabControl.Controls.Add(this.optimizerTabPage);
    77100      this.tabControl.Controls.Add(this.runsTabPage);
    … …  
    79102      this.tabControl.Name = "tabControl";
    80103      this.tabControl.SelectedIndex = 0;
    81       this.tabControl.Size = new System.Drawing.Size(679, 400);
     104      this.tabControl.Size = new System.Drawing.Size(679, 401);
    82105      this.tabControl.TabIndex = 5;
    83106      //
    … …  
    91114      this.optimizerTabPage.Name = "optimizerTabPage";
    92115      this.optimizerTabPage.Padding = new System.Windows.Forms.Padding(3);
    93       this.optimizerTabPage.Size = new System.Drawing.Size(671, 374);
     116      this.optimizerTabPage.Size = new System.Drawing.Size(671, 375);
    94117      this.optimizerTabPage.TabIndex = 1;
    95118      this.optimizerTabPage.Text = "Optimizer";
    … …  
    102125      //
    103126      this.optimizerViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    104                   | System.Windows.Forms.AnchorStyles.Left)
    105                   | System.Windows.Forms.AnchorStyles.Right)));
     127            | System.Windows.Forms.AnchorStyles.Left)
     128            | System.Windows.Forms.AnchorStyles.Right)));
    106129      this.optimizerViewHost.Caption = "View";
    107130      this.optimizerViewHost.Content = null;
    … …  
    110133      this.optimizerViewHost.Name = "optimizerViewHost";
    111134      this.optimizerViewHost.ReadOnly = false;
    112       this.optimizerViewHost.Size = new System.Drawing.Size(659, 332);
     135      this.optimizerViewHost.Size = new System.Drawing.Size(659, 333);
    113136      this.optimizerViewHost.TabIndex = 3;
    114137      this.optimizerViewHost.ViewsLabelVisible = true;
    … …  
    151174      //
    152175      this.runsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
    153                   | System.Windows.Forms.AnchorStyles.Left)
    154                   | System.Windows.Forms.AnchorStyles.Right)));
     176            | System.Windows.Forms.AnchorStyles.Left)
     177            | System.Windows.Forms.AnchorStyles.Right)));
    155178      this.runsView.Caption = "RunCollection View";
    156179      this.runsView.Content = null;
    … …  
    161184      this.runsView.TabIndex = 0;
    162185      //
    163       // startButton
    164       //
    165       this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    166       this.startButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Play;
    167       this.startButton.Location = new System.Drawing.Point(0, 458);
    168       this.startButton.Name = "startButton";
    169       this.startButton.Size = new System.Drawing.Size(24, 24);
    170       this.startButton.TabIndex = 6;
    171       this.toolTip.SetToolTip(this.startButton, "Start/Resume Batch Run");
    172       this.startButton.UseVisualStyleBackColor = true;
    173       this.startButton.Click += new System.EventHandler(this.startButton_Click);
    174       //
    175       // stopButton
    176       //
    177       this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    178       this.stopButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Stop;
    179       this.stopButton.Location = new System.Drawing.Point(60, 458);
    180       this.stopButton.Name = "stopButton";
    181       this.stopButton.Size = new System.Drawing.Size(24, 24);
    182       this.stopButton.TabIndex = 8;
    183       this.toolTip.SetToolTip(this.stopButton, "Stop Batch Run");
    184       this.stopButton.UseVisualStyleBackColor = true;
    185       this.stopButton.Click += new System.EventHandler(this.stopButton_Click);
    186       //
    187       // resetButton
    188       //
    189       this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    190       this.resetButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Restart;
    191       this.resetButton.Location = new System.Drawing.Point(90, 458);
    192       this.resetButton.Name = "resetButton";
    193       this.resetButton.Size = new System.Drawing.Size(24, 24);
    194       this.resetButton.TabIndex = 9;
    195       this.toolTip.SetToolTip(this.resetButton, "Reset Batch Run");
    196       this.resetButton.UseVisualStyleBackColor = true;
    197       this.resetButton.Click += new System.EventHandler(this.resetButton_Click);
    198       //
    199       // executionTimeLabel
    200       //
    201       this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
    202       this.executionTimeLabel.AutoSize = true;
    203       this.executionTimeLabel.Location = new System.Drawing.Point(453, 465);
    204       this.executionTimeLabel.Name = "executionTimeLabel";
    205       this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
    206       this.executionTimeLabel.TabIndex = 10;
    207       this.executionTimeLabel.Text = "&Execution Time:";
    208       //
    209       // executionTimeTextBox
    210       //
    211       this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
    212       this.executionTimeTextBox.Location = new System.Drawing.Point(542, 462);
    213       this.executionTimeTextBox.Name = "executionTimeTextBox";
    214       this.executionTimeTextBox.ReadOnly = true;
    215       this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
    216       this.executionTimeTextBox.TabIndex = 11;
    217       //
    218186      // openFileDialog
    219187      //
    … …  
    235203      //
    236204      this.repetitionsNumericUpDown.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    237                   | System.Windows.Forms.AnchorStyles.Right)));
     205            | System.Windows.Forms.AnchorStyles.Right)));
    238206      this.repetitionsNumericUpDown.Location = new System.Drawing.Point(72, 26);
    239207      this.repetitionsNumericUpDown.Maximum = new decimal(new int[] {
    … …  
    259227      this.repetitionsNumericUpDown.Validated += new System.EventHandler(this.repetitionsNumericUpDown_Validated);
    260228      //
    261       // pauseButton
    262       //
    263       this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
    264       this.pauseButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Pause;
    265       this.pauseButton.Location = new System.Drawing.Point(30, 458);
    266       this.pauseButton.Name = "pauseButton";
    267       this.pauseButton.Size = new System.Drawing.Size(24, 24);
    268       this.pauseButton.TabIndex = 7;
    269       this.toolTip.SetToolTip(this.pauseButton, "Pause Batch Run");
    270       this.pauseButton.UseVisualStyleBackColor = true;
    271       this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);
    272       //
    273229      // BatchRunView
    274230      //
    275231      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
    276232      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    277       this.Controls.Add(this.tabControl);
    278       this.Controls.Add(this.startButton);
    279       this.Controls.Add(this.executionTimeTextBox);
    280       this.Controls.Add(this.executionTimeLabel);
    281       this.Controls.Add(this.pauseButton);
    282233      this.Controls.Add(this.repetitionsNumericUpDown);
    283234      this.Controls.Add(this.repetitionsLabel);
    284       this.Controls.Add(this.stopButton);
    285       this.Controls.Add(this.resetButton);
     235      this.Controls.Add(this.tabControl);
    286236      this.Name = "BatchRunView";
    287237      this.Size = new System.Drawing.Size(679, 482);
    288       this.Controls.SetChildIndex(this.infoLabel, 0);
     238      this.Controls.SetChildIndex(this.tabControl, 0);
    289239      this.Controls.SetChildIndex(this.resetButton, 0);
    290240      this.Controls.SetChildIndex(this.stopButton, 0);
     241      this.Controls.SetChildIndex(this.executionTimeLabel, 0);
     242      this.Controls.SetChildIndex(this.pauseButton, 0);
     243      this.Controls.SetChildIndex(this.executionTimeTextBox, 0);
     244      this.Controls.SetChildIndex(this.startButton, 0);
     245      this.Controls.SetChildIndex(this.infoLabel, 0);
    291246      this.Controls.SetChildIndex(this.repetitionsLabel, 0);
    292247      this.Controls.SetChildIndex(this.repetitionsNumericUpDown, 0);
    293       this.Controls.SetChildIndex(this.pauseButton, 0);
    294       this.Controls.SetChildIndex(this.executionTimeLabel, 0);
    295       this.Controls.SetChildIndex(this.executionTimeTextBox, 0);
    296       this.Controls.SetChildIndex(this.startButton, 0);
    297       this.Controls.SetChildIndex(this.tabControl, 0);
    298248      this.Controls.SetChildIndex(this.nameLabel, 0);
    299249      this.Controls.SetChildIndex(this.nameTextBox, 0);
    … …  
    314264    private System.Windows.Forms.Button newOptimizerButton;
    315265    private System.Windows.Forms.Button openOptimizerButton;
    316     private System.Windows.Forms.Button startButton;
    317     private System.Windows.Forms.Button stopButton;
    318     private System.Windows.Forms.Button resetButton;
    319     private System.Windows.Forms.Label executionTimeLabel;
    320     private System.Windows.Forms.TextBox executionTimeTextBox;
    321266    private System.Windows.Forms.OpenFileDialog openFileDialog;
    322267    private System.Windows.Forms.TabPage runsTabPage;
    … …  
    324269    private System.Windows.Forms.NumericUpDown repetitionsNumericUpDown;
    325270    private RunCollectionView runsView;
    326     private System.Windows.Forms.Button pauseButton;
    327271  }
    328272}
Note: See TracChangeset for help on using the changeset viewer.