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/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.