Ignore:
Timestamp:
10/16/15 13:31:14 (3 years ago)
Author:
jkarder
Message:

#2298: added execution time to CSharpScript

File:
1 edited

Legend:

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

    r12012 r13024  
    5252      this.variableStoreView = new HeuristicLab.Scripting.Views.VariableStoreView();
    5353      this.viewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();
     54      this.executionTimeTextBox = new System.Windows.Forms.TextBox();
     55      this.executionTimeLabel = new System.Windows.Forms.Label();
     56      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit();
     57      this.splitContainer1.Panel1.SuspendLayout();
     58      this.splitContainer1.SuspendLayout();
    5459      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
    5560      ((System.ComponentModel.ISupportInitialize)(this.splitContainer2)).BeginInit();
     
    5863      this.splitContainer2.SuspendLayout();
    5964      this.SuspendLayout();
     65      //
     66      // splitContainer1.Panel1
     67      //
     68      this.splitContainer1.Panel1.Controls.Add(this.executionTimeTextBox);
     69      this.splitContainer1.Panel1.Controls.Add(this.executionTimeLabel);
     70      this.splitContainer1.Panel1.Controls.SetChildIndex(this.executionTimeTextBox, 0);
     71      this.splitContainer1.Panel1.Controls.SetChildIndex(this.executionTimeLabel, 0);
     72      this.splitContainer1.Size = new System.Drawing.Size(637, 543);
    6073      //
    6174      // nameTextBox
     
    132145      this.viewHost.ViewType = null;
    133146      //
     147      // executionTimeTextBox
     148      //
     149      this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
     150      this.executionTimeTextBox.Location = new System.Drawing.Point(483, 390);
     151      this.executionTimeTextBox.Name = "executionTimeTextBox";
     152      this.executionTimeTextBox.ReadOnly = true;
     153      this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);
     154      this.executionTimeTextBox.TabIndex = 17;
     155      //
     156      // executionTimeLabel
     157      //
     158      this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));
     159      this.executionTimeLabel.AutoSize = true;
     160      this.executionTimeLabel.Location = new System.Drawing.Point(394, 393);
     161      this.executionTimeLabel.Name = "executionTimeLabel";
     162      this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);
     163      this.executionTimeLabel.TabIndex = 16;
     164      this.executionTimeLabel.Text = "&Execution Time:";
     165      //
    134166      // ScriptView
    135167      //
     
    144176      this.Controls.SetChildIndex(this.nameTextBox, 0);
    145177      this.Controls.SetChildIndex(this.infoLabel, 0);
     178      this.splitContainer1.Panel1.ResumeLayout(false);
     179      this.splitContainer1.Panel1.PerformLayout();
     180      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
     181      this.splitContainer1.ResumeLayout(false);
    146182      this.splitContainer2.Panel1.ResumeLayout(false);
    147183      this.splitContainer2.Panel2.ResumeLayout(false);
     
    159195    protected MainForm.WindowsForms.ViewHost viewHost;
    160196    protected VariableStoreView variableStoreView;
     197    protected TextBox executionTimeTextBox;
     198    protected Label executionTimeLabel;
    161199  }
    162200}
Note: See TracChangeset for help on using the changeset viewer.