Changeset 10747
- Timestamp:
- 04/15/14 11:23:35 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.Scripting.Views/3.3/ScriptView.Designer.cs
r10731 r10747 51 51 this.compileButton = new System.Windows.Forms.Button(); 52 52 this.infoTabControl = new System.Windows.Forms.TabControl(); 53 this.outputTabPage = new System.Windows.Forms.TabPage(); 54 this.outputTextBox = new System.Windows.Forms.TextBox(); 53 55 this.errorListTabPage = new System.Windows.Forms.TabPage(); 54 56 this.errorListView = new System.Windows.Forms.ListView(); … … 59 61 this.columnColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader())); 60 62 this.descriptionColumnHeader = ((System.Windows.Forms.ColumnHeader)(new System.Windows.Forms.ColumnHeader())); 61 this.outputTabPage = new System.Windows.Forms.TabPage();62 this.outputTextBox = new System.Windows.Forms.TextBox();63 63 this.codeEditor = new HeuristicLab.CodeEditor.CodeEditor(); 64 64 this.splitContainer1 = new System.Windows.Forms.SplitContainer(); 65 65 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); 66 66 this.infoTabControl.SuspendLayout(); 67 this.outputTabPage.SuspendLayout(); 67 68 this.errorListTabPage.SuspendLayout(); 68 this.outputTabPage.SuspendLayout();69 69 ((System.ComponentModel.ISupportInitialize)(this.splitContainer1)).BeginInit(); 70 70 this.splitContainer1.Panel1.SuspendLayout(); … … 122 122 this.infoTabControl.Size = new System.Drawing.Size(832, 112); 123 123 this.infoTabControl.TabIndex = 1; 124 // 125 // outputTabPage 126 // 127 this.outputTabPage.Controls.Add(this.outputTextBox); 128 this.outputTabPage.Location = new System.Drawing.Point(4, 22); 129 this.outputTabPage.Name = "outputTabPage"; 130 this.outputTabPage.Padding = new System.Windows.Forms.Padding(3); 131 this.outputTabPage.Size = new System.Drawing.Size(824, 86); 132 this.outputTabPage.TabIndex = 1; 133 this.outputTabPage.Text = "Output"; 134 this.outputTabPage.UseVisualStyleBackColor = true; 135 // 136 // outputTextBox 137 // 138 this.outputTextBox.Dock = System.Windows.Forms.DockStyle.Fill; 139 this.outputTextBox.Font = new System.Drawing.Font("Consolas", 9.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0))); 140 this.outputTextBox.Location = new System.Drawing.Point(3, 3); 141 this.outputTextBox.Multiline = true; 142 this.outputTextBox.Name = "outputTextBox"; 143 this.outputTextBox.ReadOnly = true; 144 this.outputTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both; 145 this.outputTextBox.Size = new System.Drawing.Size(818, 80); 146 this.outputTextBox.TabIndex = 0; 147 this.outputTextBox.WordWrap = false; 124 148 // 125 149 // errorListTabPage … … 179 203 this.descriptionColumnHeader.Text = "Description"; 180 204 // 181 // outputTabPage182 //183 this.outputTabPage.Controls.Add(this.outputTextBox);184 this.outputTabPage.Location = new System.Drawing.Point(4, 22);185 this.outputTabPage.Name = "outputTabPage";186 this.outputTabPage.Padding = new System.Windows.Forms.Padding(3);187 this.outputTabPage.Size = new System.Drawing.Size(824, 86);188 this.outputTabPage.TabIndex = 1;189 this.outputTabPage.Text = "Output";190 this.outputTabPage.UseVisualStyleBackColor = true;191 //192 // outputTextBox193 //194 this.outputTextBox.Dock = System.Windows.Forms.DockStyle.Fill;195 this.outputTextBox.Font = new System.Drawing.Font("Consolas", 9.75F, System.Drawing.FontStyle.Regular, System.Drawing.GraphicsUnit.Point, ((byte)(0)));196 this.outputTextBox.Location = new System.Drawing.Point(3, 3);197 this.outputTextBox.Multiline = true;198 this.outputTextBox.Name = "outputTextBox";199 this.outputTextBox.ReadOnly = true;200 this.outputTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Both;201 this.outputTextBox.Size = new System.Drawing.Size(818, 80);202 this.outputTextBox.TabIndex = 0;203 this.outputTextBox.WordWrap = false;204 //205 205 // codeEditor 206 206 // … … 217 217 // splitContainer1 218 218 // 219 this.splitContainer1.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 220 | System.Windows.Forms.AnchorStyles.Left) 221 | System.Windows.Forms.AnchorStyles.Right))); 219 222 this.splitContainer1.Location = new System.Drawing.Point(0, 56); 220 223 this.splitContainer1.Name = "splitContainer1"; … … 248 251 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); 249 252 this.infoTabControl.ResumeLayout(false); 250 this.errorListTabPage.ResumeLayout(false);251 253 this.outputTabPage.ResumeLayout(false); 252 254 this.outputTabPage.PerformLayout(); 255 this.errorListTabPage.ResumeLayout(false); 253 256 this.splitContainer1.Panel1.ResumeLayout(false); 254 257 this.splitContainer1.Panel2.ResumeLayout(false);
Note: See TracChangeset
for help on using the changeset viewer.