Changeset 13138


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

#2298: made execution time more appealing

Location:
trunk/sources/HeuristicLab.Scripting.Views/3.3
Files:
3 edited

Legend:

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

    r13080 r13138  
    6565      // executionTimeLabel
    6666      //
    67       this.executionTimeLabel.Location = new System.Drawing.Point(394, 393);
     67      this.executionTimeLabel.Location = new System.Drawing.Point(409, 3);
    6868      //
    6969      // executionTimeTextBox
    7070      //
    71       this.executionTimeTextBox.Location = new System.Drawing.Point(483, 390);
     71      this.executionTimeTextBox.Location = new System.Drawing.Point(498, 0);
     72      //
     73      // infoTabControl
     74      //
     75      this.infoTabControl.Size = new System.Drawing.Size(637, 110);
    7276      //
    7377      // splitContainer1
     
    141145      this.errorListTabPage.ResumeLayout(false);
    142146      this.splitContainer1.Panel1.ResumeLayout(false);
    143       this.splitContainer1.Panel1.PerformLayout();
    144147      this.splitContainer1.Panel2.ResumeLayout(false);
     148      this.splitContainer1.Panel2.PerformLayout();
    145149      ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).EndInit();
    146150      this.splitContainer1.ResumeLayout(false);
  • 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);
  • trunk/sources/HeuristicLab.Scripting.Views/3.3/ScriptView.Designer.cs

    r12473 r13138  
    118118      // infoTabControl
    119119      //
     120      this.infoTabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     121            | System.Windows.Forms.AnchorStyles.Left)
     122            | System.Windows.Forms.AnchorStyles.Right)));
    120123      this.infoTabControl.Controls.Add(this.outputTabPage);
    121124      this.infoTabControl.Controls.Add(this.errorListTabPage);
    122       this.infoTabControl.Dock = System.Windows.Forms.DockStyle.Fill;
    123       this.infoTabControl.Location = new System.Drawing.Point(0, 0);
     125      this.infoTabControl.Location = new System.Drawing.Point(0, 2);
    124126      this.infoTabControl.Name = "infoTabControl";
    125127      this.infoTabControl.SelectedIndex = 0;
    126       this.infoTabControl.Size = new System.Drawing.Size(832, 112);
     128      this.infoTabControl.Size = new System.Drawing.Size(832, 110);
    127129      this.infoTabControl.TabIndex = 1;
    128130      //
     
    133135      this.outputTabPage.Name = "outputTabPage";
    134136      this.outputTabPage.Padding = new System.Windows.Forms.Padding(3);
    135       this.outputTabPage.Size = new System.Drawing.Size(824, 86);
     137      this.outputTabPage.Size = new System.Drawing.Size(824, 84);
    136138      this.outputTabPage.TabIndex = 1;
    137139      this.outputTabPage.Text = "Output";
     
    147149      this.outputTextBox.ReadOnly = true;
    148150      this.outputTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both;
    149       this.outputTextBox.Size = new System.Drawing.Size(818, 80);
     151      this.outputTextBox.Size = new System.Drawing.Size(818, 78);
    150152      this.outputTextBox.TabIndex = 0;
    151153      this.outputTextBox.WordWrap = false;
Note: See TracChangeset for help on using the changeset viewer.