Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
11/11/15 16:46:22 (8 years ago)
Author:
jkarder
Message:

#2298: made execution time more appealing

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.Scripting.Views/3.3/ExecutableScriptView.Designer.cs

    r13080 r13138  
    3737      this.SuspendLayout();
    3838      //
    39       // splitContainer1.Panel1
     39      // splitContainer1
    4040      //
    41       this.splitContainer1.Panel1.Controls.Add(this.executionTimeTextBox);
    42       this.splitContainer1.Panel1.Controls.Add(this.executionTimeLabel);
    43       this.splitContainer1.Panel1.Controls.SetChildIndex(this.executionTimeTextBox, 0);
    44       this.splitContainer1.Panel1.Controls.SetChildIndex(this.executionTimeLabel, 0);
     41      //
     42      // splitContainer1.Panel2
     43      //
     44      this.splitContainer1.Panel2.Controls.Add(this.executionTimeLabel);
     45      this.splitContainer1.Panel2.Controls.Add(this.executionTimeTextBox);
     46      this.splitContainer1.Panel2.Controls.SetChildIndex(this.executionTimeTextBox, 0);
     47      this.splitContainer1.Panel2.Controls.SetChildIndex(this.executionTimeLabel, 0);
    4548      //
    4649      // nameTextBox
     
    6366      // executionTimeLabel
    6467      //
    65       this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
     68      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
    6669      this.executionTimeLabel.AutoSize = true;
    67       this.executionTimeLabel.Location = new System.Drawing.Point(589, 396);
     70      this.executionTimeLabel.Location = new System.Drawing.Point(604, 3);
    6871      this.executionTimeLabel.Name = "executionTimeLabel";
    6972      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
     
    7376      // executionTimeTextBox
    7477      //
    75       this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
    76       this.executionTimeTextBox.Location = new System.Drawing.Point(678, 393);
     78      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     79      this.executionTimeTextBox.Location = new System.Drawing.Point(693, 0);
    7780      this.executionTimeTextBox.Name = "executionTimeTextBox";
    7881      this.executionTimeTextBox.ReadOnly = true;
     
    98101      this.errorListTabPage.ResumeLayout(false);
    99102      this.splitContainer1.Panel1.ResumeLayout(false);
    100       this.splitContainer1.Panel1.PerformLayout();
    101103      this.splitContainer1.Panel2.ResumeLayout(false);
     104      this.splitContainer1.Panel2.PerformLayout();
    102105      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
    103106      this.splitContainer1.ResumeLayout(false);
Note: See TracChangeset for help on using the changeset viewer.