- Timestamp:
- 11/19/15 11:29:17 (9 years ago)
- Location:
- stable
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
stable
- Property svn:mergeinfo changed
/trunk/sources merged: 13024,13080,13138,13218
- Property svn:mergeinfo changed
-
stable/HeuristicLab.Scripting.Views/3.3/ScriptView.Designer.cs
r12662 r13277 118 118 // infoTabControl 119 119 // 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))); 120 123 this.infoTabControl.Controls.Add(this.outputTabPage); 121 124 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); 124 126 this.infoTabControl.Name = "infoTabControl"; 125 127 this.infoTabControl.SelectedIndex = 0; 126 this.infoTabControl.Size = new System.Drawing.Size(832, 11 2);128 this.infoTabControl.Size = new System.Drawing.Size(832, 110); 127 129 this.infoTabControl.TabIndex = 1; 128 130 // … … 133 135 this.outputTabPage.Name = "outputTabPage"; 134 136 this.outputTabPage.Padding = new System.Windows.Forms.Padding(3); 135 this.outputTabPage.Size = new System.Drawing.Size(824, 8 6);137 this.outputTabPage.Size = new System.Drawing.Size(824, 84); 136 138 this.outputTabPage.TabIndex = 1; 137 139 this.outputTabPage.Text = "Output"; … … 147 149 this.outputTextBox.ReadOnly = true; 148 150 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); 150 152 this.outputTextBox.TabIndex = 0; 151 153 this.outputTextBox.WordWrap = false;
Note: See TracChangeset
for help on using the changeset viewer.