Changeset 5832 for trunk/sources/HeuristicLab.Optimization.Views/3.3
- Timestamp:
- 03/25/11 17:18:58 (14 years ago)
- Location:
- trunk/sources/HeuristicLab.Optimization.Views/3.3
- Files:
-
- 7 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.Optimization.Views/3.3/AlgorithmView.Designer.cs
r5466 r5832 44 44 this.resultsView = new HeuristicLab.Optimization.Views.ResultCollectionView(); 45 45 this.runsTabPage = new System.Windows.Forms.TabPage(); 46 this.storeAlgorithmInEachRunCheckBox = new System.Windows.Forms.CheckBox(); 46 47 this.runsView = new HeuristicLab.Optimization.Views.RunCollectionView(); 47 48 this.startButton = new System.Windows.Forms.Button(); … … 52 53 this.openFileDialog = new System.Windows.Forms.OpenFileDialog(); 53 54 this.stopButton = new System.Windows.Forms.Button(); 54 this.storeAlgorithmInEachRunCheckBox = new System.Windows.Forms.CheckBox();55 55 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); 56 56 this.tabControl.SuspendLayout(); … … 65 65 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 66 66 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 67 this.nameTextBox.Size = new System.Drawing.Size(607, 20); 68 // 69 // descriptionTextBox 70 // 71 this.descriptionTextBox.Size = new System.Drawing.Size(607, 20); 67 this.nameTextBox.Location = new System.Drawing.Point(60, 0); 68 this.nameTextBox.Size = new System.Drawing.Size(594, 20); 69 // 70 // infoLabel 71 // 72 this.infoLabel.Location = new System.Drawing.Point(660, 3); 72 73 // 73 74 // tabControl 74 75 // 76 this.tabControl.AllowDrop = true; 75 77 this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 76 78 | System.Windows.Forms.AnchorStyles.Left) … … 80 82 this.tabControl.Controls.Add(this.resultsTabPage); 81 83 this.tabControl.Controls.Add(this.runsTabPage); 82 this.tabControl.Location = new System.Drawing.Point(0, 52);84 this.tabControl.Location = new System.Drawing.Point(0, 26); 83 85 this.tabControl.Name = "tabControl"; 84 86 this.tabControl.SelectedIndex = 0; 85 this.tabControl.Size = new System.Drawing.Size(679, 4 00);86 this.tabControl.TabIndex = 4;87 this.tabControl.Size = new System.Drawing.Size(679, 426); 88 this.tabControl.TabIndex = 3; 87 89 // 88 90 // problemTabPage 89 91 // 92 this.problemTabPage.AllowDrop = true; 90 93 this.problemTabPage.Controls.Add(this.problemViewHost); 91 94 this.problemTabPage.Controls.Add(this.openProblemButton); 92 95 this.problemTabPage.Controls.Add(this.newProblemButton); 93 this.problemTabPage.AllowDrop = true;94 96 this.problemTabPage.Location = new System.Drawing.Point(4, 22); 95 97 this.problemTabPage.Name = "problemTabPage"; 96 98 this.problemTabPage.Padding = new System.Windows.Forms.Padding(3); 97 this.problemTabPage.Size = new System.Drawing.Size(671, 374);99 this.problemTabPage.Size = new System.Drawing.Size(671, 400); 98 100 this.problemTabPage.TabIndex = 0; 99 101 this.problemTabPage.Text = "Problem"; … … 110 112 this.problemViewHost.Caption = "View"; 111 113 this.problemViewHost.Content = null; 114 this.problemViewHost.Enabled = false; 112 115 this.problemViewHost.Location = new System.Drawing.Point(6, 36); 113 116 this.problemViewHost.Name = "problemViewHost"; 114 117 this.problemViewHost.ReadOnly = false; 115 this.problemViewHost.Size = new System.Drawing.Size(659, 3 32);118 this.problemViewHost.Size = new System.Drawing.Size(659, 358); 116 119 this.problemViewHost.TabIndex = 3; 120 this.problemViewHost.ViewsLabelVisible = true; 117 121 this.problemViewHost.ViewType = null; 118 122 // … … 145 149 this.parametersTabPage.Name = "parametersTabPage"; 146 150 this.parametersTabPage.Padding = new System.Windows.Forms.Padding(3); 147 this.parametersTabPage.Size = new System.Drawing.Size(671, 374);151 this.parametersTabPage.Size = new System.Drawing.Size(671, 400); 148 152 this.parametersTabPage.TabIndex = 1; 149 153 this.parametersTabPage.Text = "Parameters"; … … 160 164 this.parameterCollectionView.Name = "parameterCollectionView"; 161 165 this.parameterCollectionView.ReadOnly = false; 162 this.parameterCollectionView.Size = new System.Drawing.Size(659, 3 62);166 this.parameterCollectionView.Size = new System.Drawing.Size(659, 388); 163 167 this.parameterCollectionView.TabIndex = 0; 164 168 // … … 169 173 this.resultsTabPage.Name = "resultsTabPage"; 170 174 this.resultsTabPage.Padding = new System.Windows.Forms.Padding(3); 171 this.resultsTabPage.Size = new System.Drawing.Size(671, 374);175 this.resultsTabPage.Size = new System.Drawing.Size(671, 400); 172 176 this.resultsTabPage.TabIndex = 2; 173 177 this.resultsTabPage.Text = "Results"; … … 184 188 this.resultsView.Name = "resultsView"; 185 189 this.resultsView.ReadOnly = true; 186 this.resultsView.Size = new System.Drawing.Size(659, 3 62);190 this.resultsView.Size = new System.Drawing.Size(659, 388); 187 191 this.resultsView.TabIndex = 0; 188 192 // … … 194 198 this.runsTabPage.Name = "runsTabPage"; 195 199 this.runsTabPage.Padding = new System.Windows.Forms.Padding(3); 196 this.runsTabPage.Size = new System.Drawing.Size(671, 374);200 this.runsTabPage.Size = new System.Drawing.Size(671, 400); 197 201 this.runsTabPage.TabIndex = 3; 198 202 this.runsTabPage.Text = "Runs"; 199 203 this.runsTabPage.UseVisualStyleBackColor = true; 200 //201 // runsView202 //203 this.runsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)204 | System.Windows.Forms.AnchorStyles.Left)205 | System.Windows.Forms.AnchorStyles.Right)));206 this.runsView.Caption = "RunCollection View";207 this.runsView.Content = null;208 this.runsView.Location = new System.Drawing.Point(6, 6);209 this.runsView.Name = "runsView";210 this.runsView.ReadOnly = false;211 this.runsView.Size = new System.Drawing.Size(659, 362);212 this.runsView.TabIndex = 0;213 //214 // startButton215 //216 this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));217 this.startButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Play;218 this.startButton.Location = new System.Drawing.Point(0, 458);219 this.startButton.Name = "startButton";220 this.startButton.Size = new System.Drawing.Size(24, 24);221 this.startButton.TabIndex = 5;222 this.toolTip.SetToolTip(this.startButton, "Start/Resume Algorithm");223 this.startButton.UseVisualStyleBackColor = true;224 this.startButton.Click += new System.EventHandler(this.startButton_Click);225 //226 // pauseButton227 //228 this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));229 this.pauseButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Pause;230 this.pauseButton.Location = new System.Drawing.Point(30, 458);231 this.pauseButton.Name = "pauseButton";232 this.pauseButton.Size = new System.Drawing.Size(24, 24);233 this.pauseButton.TabIndex = 6;234 this.toolTip.SetToolTip(this.pauseButton, "Pause Algorithm");235 this.pauseButton.UseVisualStyleBackColor = true;236 this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click);237 //238 // resetButton239 //240 this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));241 this.resetButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Restart;242 this.resetButton.Location = new System.Drawing.Point(90, 458);243 this.resetButton.Name = "resetButton";244 this.resetButton.Size = new System.Drawing.Size(24, 24);245 this.resetButton.TabIndex = 8;246 this.toolTip.SetToolTip(this.resetButton, "Reset Algorithm");247 this.resetButton.UseVisualStyleBackColor = true;248 this.resetButton.Click += new System.EventHandler(this.resetButton_Click);249 //250 // executionTimeLabel251 //252 this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));253 this.executionTimeLabel.AutoSize = true;254 this.executionTimeLabel.Location = new System.Drawing.Point(453, 465);255 this.executionTimeLabel.Name = "executionTimeLabel";256 this.executionTimeLabel.Size = new System.Drawing.Size(83, 13);257 this.executionTimeLabel.TabIndex = 9;258 this.executionTimeLabel.Text = "&Execution Time:";259 //260 // executionTimeTextBox261 //262 this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right)));263 this.executionTimeTextBox.Location = new System.Drawing.Point(542, 462);264 this.executionTimeTextBox.Name = "executionTimeTextBox";265 this.executionTimeTextBox.ReadOnly = true;266 this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20);267 this.executionTimeTextBox.TabIndex = 10;268 //269 // openFileDialog270 //271 this.openFileDialog.DefaultExt = "hl";272 this.openFileDialog.FileName = "Problem";273 this.openFileDialog.Filter = "HeuristicLab Files|*.hl|All Files|*.*";274 this.openFileDialog.Title = "Open Problem";275 //276 // stopButton277 //278 this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));279 this.stopButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Stop;280 this.stopButton.Location = new System.Drawing.Point(60, 458);281 this.stopButton.Name = "stopButton";282 this.stopButton.Size = new System.Drawing.Size(24, 24);283 this.stopButton.TabIndex = 7;284 this.toolTip.SetToolTip(this.stopButton, "Stop Algorithm");285 this.stopButton.UseVisualStyleBackColor = true;286 this.stopButton.Click += new System.EventHandler(this.stopButton_Click);287 204 // 288 205 // storeAlgorithmInEachRunCheckBox … … 302 219 this.storeAlgorithmInEachRunCheckBox.CheckedChanged += new System.EventHandler(this.storeAlgorithmInEachRunCheckBox_CheckedChanged); 303 220 // 221 // runsView 222 // 223 this.runsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 224 | System.Windows.Forms.AnchorStyles.Left) 225 | System.Windows.Forms.AnchorStyles.Right))); 226 this.runsView.Caption = "RunCollection View"; 227 this.runsView.Content = null; 228 this.runsView.Location = new System.Drawing.Point(6, 6); 229 this.runsView.Name = "runsView"; 230 this.runsView.ReadOnly = false; 231 this.runsView.Size = new System.Drawing.Size(659, 388); 232 this.runsView.TabIndex = 0; 233 // 234 // startButton 235 // 236 this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 237 this.startButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Play; 238 this.startButton.Location = new System.Drawing.Point(0, 458); 239 this.startButton.Name = "startButton"; 240 this.startButton.Size = new System.Drawing.Size(24, 24); 241 this.startButton.TabIndex = 4; 242 this.toolTip.SetToolTip(this.startButton, "Start/Resume Algorithm"); 243 this.startButton.UseVisualStyleBackColor = true; 244 this.startButton.Click += new System.EventHandler(this.startButton_Click); 245 // 246 // pauseButton 247 // 248 this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 249 this.pauseButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Pause; 250 this.pauseButton.Location = new System.Drawing.Point(30, 458); 251 this.pauseButton.Name = "pauseButton"; 252 this.pauseButton.Size = new System.Drawing.Size(24, 24); 253 this.pauseButton.TabIndex = 5; 254 this.toolTip.SetToolTip(this.pauseButton, "Pause Algorithm"); 255 this.pauseButton.UseVisualStyleBackColor = true; 256 this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click); 257 // 258 // resetButton 259 // 260 this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 261 this.resetButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Restart; 262 this.resetButton.Location = new System.Drawing.Point(90, 458); 263 this.resetButton.Name = "resetButton"; 264 this.resetButton.Size = new System.Drawing.Size(24, 24); 265 this.resetButton.TabIndex = 7; 266 this.toolTip.SetToolTip(this.resetButton, "Reset Algorithm"); 267 this.resetButton.UseVisualStyleBackColor = true; 268 this.resetButton.Click += new System.EventHandler(this.resetButton_Click); 269 // 270 // executionTimeLabel 271 // 272 this.executionTimeLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right))); 273 this.executionTimeLabel.AutoSize = true; 274 this.executionTimeLabel.Location = new System.Drawing.Point(453, 465); 275 this.executionTimeLabel.Name = "executionTimeLabel"; 276 this.executionTimeLabel.Size = new System.Drawing.Size(83, 13); 277 this.executionTimeLabel.TabIndex = 8; 278 this.executionTimeLabel.Text = "&Execution Time:"; 279 // 280 // executionTimeTextBox 281 // 282 this.executionTimeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Right))); 283 this.executionTimeTextBox.Location = new System.Drawing.Point(542, 462); 284 this.executionTimeTextBox.Name = "executionTimeTextBox"; 285 this.executionTimeTextBox.ReadOnly = true; 286 this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20); 287 this.executionTimeTextBox.TabIndex = 9; 288 // 289 // openFileDialog 290 // 291 this.openFileDialog.DefaultExt = "hl"; 292 this.openFileDialog.FileName = "Problem"; 293 this.openFileDialog.Filter = "HeuristicLab Files|*.hl|All Files|*.*"; 294 this.openFileDialog.Title = "Open Problem"; 295 // 296 // stopButton 297 // 298 this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 299 this.stopButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Stop; 300 this.stopButton.Location = new System.Drawing.Point(60, 458); 301 this.stopButton.Name = "stopButton"; 302 this.stopButton.Size = new System.Drawing.Size(24, 24); 303 this.stopButton.TabIndex = 6; 304 this.toolTip.SetToolTip(this.stopButton, "Stop Algorithm"); 305 this.stopButton.UseVisualStyleBackColor = true; 306 this.stopButton.Click += new System.EventHandler(this.stopButton_Click); 307 // 304 308 // AlgorithmView 305 309 // … … 315 319 this.Name = "AlgorithmView"; 316 320 this.Size = new System.Drawing.Size(679, 482); 321 this.Controls.SetChildIndex(this.infoLabel, 0); 317 322 this.Controls.SetChildIndex(this.resetButton, 0); 318 323 this.Controls.SetChildIndex(this.stopButton, 0); … … 323 328 this.Controls.SetChildIndex(this.tabControl, 0); 324 329 this.Controls.SetChildIndex(this.nameLabel, 0); 325 this.Controls.SetChildIndex(this.descriptionLabel, 0);326 330 this.Controls.SetChildIndex(this.nameTextBox, 0); 327 this.Controls.SetChildIndex(this.descriptionTextBox, 0);328 331 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); 329 332 this.tabControl.ResumeLayout(false); -
trunk/sources/HeuristicLab.Optimization.Views/3.3/BatchRunView.Designer.cs
r5466 r5832 61 61 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 62 62 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 63 this.nameTextBox.Size = new System.Drawing.Size(607, 20); 64 // 65 // descriptionTextBox 66 // 67 this.descriptionTextBox.Size = new System.Drawing.Size(607, 20); 63 this.nameTextBox.Location = new System.Drawing.Point(72, 0); 64 this.nameTextBox.Size = new System.Drawing.Size(582, 20); 65 // 66 // infoLabel 67 // 68 this.infoLabel.Location = new System.Drawing.Point(660, 3); 68 69 // 69 70 // tabControl 70 71 // 72 this.tabControl.AllowDrop = true; 71 73 this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 72 74 | System.Windows.Forms.AnchorStyles.Left) … … 74 76 this.tabControl.Controls.Add(this.optimizerTabPage); 75 77 this.tabControl.Controls.Add(this.runsTabPage); 76 this.tabControl.Location = new System.Drawing.Point(0, 78);78 this.tabControl.Location = new System.Drawing.Point(0, 52); 77 79 this.tabControl.Name = "tabControl"; 78 80 this.tabControl.SelectedIndex = 0; 79 this.tabControl.Size = new System.Drawing.Size(679, 374);80 this.tabControl.TabIndex = 6;81 this.tabControl.Size = new System.Drawing.Size(679, 400); 82 this.tabControl.TabIndex = 5; 81 83 // 82 84 // optimizerTabPage … … 89 91 this.optimizerTabPage.Name = "optimizerTabPage"; 90 92 this.optimizerTabPage.Padding = new System.Windows.Forms.Padding(3); 91 this.optimizerTabPage.Size = new System.Drawing.Size(671, 3 48);93 this.optimizerTabPage.Size = new System.Drawing.Size(671, 374); 92 94 this.optimizerTabPage.TabIndex = 1; 93 95 this.optimizerTabPage.Text = "Optimizer"; 94 96 this.optimizerTabPage.UseVisualStyleBackColor = true; 95 this.optimizerTabPage.DragOver += new System.Windows.Forms.DragEventHandler(this.optimizerTabPage_DragEnterOver);96 97 this.optimizerTabPage.DragDrop += new System.Windows.Forms.DragEventHandler(this.optimizerTabPage_DragDrop); 97 98 this.optimizerTabPage.DragEnter += new System.Windows.Forms.DragEventHandler(this.optimizerTabPage_DragEnterOver); 99 this.optimizerTabPage.DragOver += new System.Windows.Forms.DragEventHandler(this.optimizerTabPage_DragEnterOver); 98 100 // 99 101 // optimizerViewHost 100 102 // 101 this.optimizerViewHost.Content = null;102 103 this.optimizerViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 103 104 | System.Windows.Forms.AnchorStyles.Left) 104 105 | System.Windows.Forms.AnchorStyles.Right))); 106 this.optimizerViewHost.Caption = "View"; 107 this.optimizerViewHost.Content = null; 108 this.optimizerViewHost.Enabled = false; 105 109 this.optimizerViewHost.Location = new System.Drawing.Point(6, 36); 106 110 this.optimizerViewHost.Name = "optimizerViewHost"; 107 this.optimizerViewHost.Size = new System.Drawing.Size(659, 306); 111 this.optimizerViewHost.ReadOnly = false; 112 this.optimizerViewHost.Size = new System.Drawing.Size(659, 332); 108 113 this.optimizerViewHost.TabIndex = 3; 114 this.optimizerViewHost.ViewsLabelVisible = true; 109 115 this.optimizerViewHost.ViewType = null; 110 116 // … … 137 143 this.runsTabPage.Name = "runsTabPage"; 138 144 this.runsTabPage.Padding = new System.Windows.Forms.Padding(3); 139 this.runsTabPage.Size = new System.Drawing.Size(671, 3 48);145 this.runsTabPage.Size = new System.Drawing.Size(671, 374); 140 146 this.runsTabPage.TabIndex = 2; 141 147 this.runsTabPage.Text = "Runs"; … … 147 153 | System.Windows.Forms.AnchorStyles.Left) 148 154 | System.Windows.Forms.AnchorStyles.Right))); 155 this.runsView.Caption = "RunCollection View"; 149 156 this.runsView.Content = null; 150 157 this.runsView.Location = new System.Drawing.Point(6, 6); 151 158 this.runsView.Name = "runsView"; 152 this.runsView.Size = new System.Drawing.Size(659, 336); 159 this.runsView.ReadOnly = false; 160 this.runsView.Size = new System.Drawing.Size(659, 362); 153 161 this.runsView.TabIndex = 0; 154 162 // … … 160 168 this.startButton.Name = "startButton"; 161 169 this.startButton.Size = new System.Drawing.Size(24, 24); 162 this.startButton.TabIndex = 7;170 this.startButton.TabIndex = 6; 163 171 this.toolTip.SetToolTip(this.startButton, "Start/Resume Batch Run"); 164 172 this.startButton.UseVisualStyleBackColor = true; … … 172 180 this.stopButton.Name = "stopButton"; 173 181 this.stopButton.Size = new System.Drawing.Size(24, 24); 174 this.stopButton.TabIndex = 9;182 this.stopButton.TabIndex = 8; 175 183 this.toolTip.SetToolTip(this.stopButton, "Stop Batch Run"); 176 184 this.stopButton.UseVisualStyleBackColor = true; … … 184 192 this.resetButton.Name = "resetButton"; 185 193 this.resetButton.Size = new System.Drawing.Size(24, 24); 186 this.resetButton.TabIndex = 10;194 this.resetButton.TabIndex = 9; 187 195 this.toolTip.SetToolTip(this.resetButton, "Reset Batch Run"); 188 196 this.resetButton.UseVisualStyleBackColor = true; … … 196 204 this.executionTimeLabel.Name = "executionTimeLabel"; 197 205 this.executionTimeLabel.Size = new System.Drawing.Size(83, 13); 198 this.executionTimeLabel.TabIndex = 1 1;206 this.executionTimeLabel.TabIndex = 10; 199 207 this.executionTimeLabel.Text = "&Execution Time:"; 200 208 // … … 206 214 this.executionTimeTextBox.ReadOnly = true; 207 215 this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20); 208 this.executionTimeTextBox.TabIndex = 1 2;216 this.executionTimeTextBox.TabIndex = 11; 209 217 // 210 218 // openFileDialog … … 218 226 // 219 227 this.repetitionsLabel.AutoSize = true; 220 this.repetitionsLabel.Location = new System.Drawing.Point(3, 54);228 this.repetitionsLabel.Location = new System.Drawing.Point(3, 28); 221 229 this.repetitionsLabel.Name = "repetitionsLabel"; 222 230 this.repetitionsLabel.Size = new System.Drawing.Size(63, 13); 223 this.repetitionsLabel.TabIndex = 4;231 this.repetitionsLabel.TabIndex = 3; 224 232 this.repetitionsLabel.Text = "&Repetitions:"; 225 233 // … … 228 236 this.repetitionsNumericUpDown.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 229 237 | System.Windows.Forms.AnchorStyles.Right))); 230 this.repetitionsNumericUpDown.Location = new System.Drawing.Point(72, 52);238 this.repetitionsNumericUpDown.Location = new System.Drawing.Point(72, 26); 231 239 this.repetitionsNumericUpDown.Maximum = new decimal(new int[] { 232 240 1000000, … … 241 249 this.repetitionsNumericUpDown.Name = "repetitionsNumericUpDown"; 242 250 this.repetitionsNumericUpDown.Size = new System.Drawing.Size(607, 20); 243 this.repetitionsNumericUpDown.TabIndex = 5;251 this.repetitionsNumericUpDown.TabIndex = 4; 244 252 this.repetitionsNumericUpDown.ThousandsSeparator = true; 245 253 this.repetitionsNumericUpDown.Value = new decimal(new int[] { … … 258 266 this.pauseButton.Name = "pauseButton"; 259 267 this.pauseButton.Size = new System.Drawing.Size(24, 24); 260 this.pauseButton.TabIndex = 8;268 this.pauseButton.TabIndex = 7; 261 269 this.toolTip.SetToolTip(this.pauseButton, "Pause Batch Run"); 262 270 this.pauseButton.UseVisualStyleBackColor = true; … … 271 279 this.Controls.Add(this.executionTimeTextBox); 272 280 this.Controls.Add(this.executionTimeLabel); 281 this.Controls.Add(this.pauseButton); 273 282 this.Controls.Add(this.repetitionsNumericUpDown); 274 283 this.Controls.Add(this.repetitionsLabel); 275 this.Controls.Add(this.pauseButton);276 284 this.Controls.Add(this.stopButton); 277 285 this.Controls.Add(this.resetButton); 278 286 this.Name = "BatchRunView"; 279 287 this.Size = new System.Drawing.Size(679, 482); 288 this.Controls.SetChildIndex(this.infoLabel, 0); 280 289 this.Controls.SetChildIndex(this.resetButton, 0); 281 290 this.Controls.SetChildIndex(this.stopButton, 0); 282 this.Controls.SetChildIndex(this.pauseButton, 0);283 291 this.Controls.SetChildIndex(this.repetitionsLabel, 0); 284 292 this.Controls.SetChildIndex(this.repetitionsNumericUpDown, 0); 293 this.Controls.SetChildIndex(this.pauseButton, 0); 285 294 this.Controls.SetChildIndex(this.executionTimeLabel, 0); 286 295 this.Controls.SetChildIndex(this.executionTimeTextBox, 0); … … 288 297 this.Controls.SetChildIndex(this.tabControl, 0); 289 298 this.Controls.SetChildIndex(this.nameLabel, 0); 290 this.Controls.SetChildIndex(this.descriptionLabel, 0);291 299 this.Controls.SetChildIndex(this.nameTextBox, 0); 292 this.Controls.SetChildIndex(this.descriptionTextBox, 0);293 300 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); 294 301 this.tabControl.ResumeLayout(false); -
trunk/sources/HeuristicLab.Optimization.Views/3.3/EngineAlgorithmView.Designer.cs
r5445 r5832 67 67 this.tabControl.Controls.Add(this.operatorGraphTabPage); 68 68 this.tabControl.Controls.Add(this.engineTabPage); 69 this.tabControl.Size = new System.Drawing.Size(713, 467); 69 this.tabControl.Location = new System.Drawing.Point(0, 26); 70 this.tabControl.Size = new System.Drawing.Size(713, 493); 71 this.tabControl.TabIndex = 3; 70 72 this.tabControl.Controls.SetChildIndex(this.engineTabPage, 0); 71 73 this.tabControl.Controls.SetChildIndex(this.operatorGraphTabPage, 0); … … 77 79 // parametersTabPage 78 80 // 79 this.parametersTabPage.Size = new System.Drawing.Size(705, 4 41);81 this.parametersTabPage.Size = new System.Drawing.Size(705, 467); 80 82 // 81 83 // problemTabPage 82 84 // 83 this.problemTabPage.Size = new System.Drawing.Size(705, 4 41);85 this.problemTabPage.Size = new System.Drawing.Size(705, 467); 84 86 // 85 87 // parameterCollectionView 86 88 // 87 this.parameterCollectionView.Size = new System.Drawing.Size(693, 4 29);89 this.parameterCollectionView.Size = new System.Drawing.Size(693, 455); 88 90 // 89 91 // problemViewHost 90 92 // 91 this.problemViewHost.Size = new System.Drawing.Size(693, 399);93 this.problemViewHost.Size = new System.Drawing.Size(693, 425); 92 94 // 93 95 // newProblemButton … … 102 104 // 103 105 this.startButton.Location = new System.Drawing.Point(0, 525); 106 this.startButton.TabIndex = 4; 104 107 this.toolTip.SetToolTip(this.startButton, "Start/Resume Algorithm"); 105 108 // … … 107 110 // 108 111 this.pauseButton.Location = new System.Drawing.Point(30, 525); 112 this.pauseButton.TabIndex = 5; 109 113 this.toolTip.SetToolTip(this.pauseButton, "Pause Algorithm"); 110 114 // … … 112 116 // 113 117 this.resetButton.Location = new System.Drawing.Point(90, 525); 118 this.resetButton.TabIndex = 7; 114 119 this.toolTip.SetToolTip(this.resetButton, "Reset Algorithm"); 115 120 // … … 117 122 // 118 123 this.executionTimeLabel.Location = new System.Drawing.Point(487, 532); 124 this.executionTimeLabel.TabIndex = 8; 119 125 // 120 126 // executionTimeTextBox 121 127 // 122 128 this.executionTimeTextBox.Location = new System.Drawing.Point(576, 529); 129 this.executionTimeTextBox.TabIndex = 9; 123 130 // 124 131 // resultsTabPage 125 132 // 126 this.resultsTabPage.Size = new System.Drawing.Size(705, 4 41);133 this.resultsTabPage.Size = new System.Drawing.Size(705, 467); 127 134 // 128 135 // resultsView 129 136 // 130 this.resultsView.Size = new System.Drawing.Size(693, 4 29);137 this.resultsView.Size = new System.Drawing.Size(693, 455); 131 138 // 132 139 // stopButton 133 140 // 134 141 this.stopButton.Location = new System.Drawing.Point(60, 525); 142 this.stopButton.TabIndex = 6; 135 143 this.toolTip.SetToolTip(this.stopButton, "Stop Algorithm"); 136 144 // 137 145 // runsTabPage 138 146 // 139 this.runsTabPage.Size = new System.Drawing.Size(705, 4 41);147 this.runsTabPage.Size = new System.Drawing.Size(705, 467); 140 148 // 141 149 // runsView 142 150 // 143 this.runsView.Size = new System.Drawing.Size(693, 4 29);151 this.runsView.Size = new System.Drawing.Size(693, 455); 144 152 // 145 153 // storeAlgorithmInEachRunCheckBox 146 154 // 147 155 this.storeAlgorithmInEachRunCheckBox.Location = new System.Drawing.Point(530, 6); 156 this.toolTip.SetToolTip(this.storeAlgorithmInEachRunCheckBox, "Check to store a copy of the algorithm in each run."); 148 157 // 149 158 // nameTextBox … … 151 160 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 152 161 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 153 this.nameTextBox.Size = new System.Drawing.Size(641, 20); 154 // 155 // descriptionTextBox 156 // 157 this.descriptionTextBox.Size = new System.Drawing.Size(641, 20); 162 this.nameTextBox.Location = new System.Drawing.Point(60, 0); 163 this.nameTextBox.Size = new System.Drawing.Size(628, 20); 164 // 165 // infoLabel 166 // 167 this.infoLabel.Location = new System.Drawing.Point(694, 3); 158 168 // 159 169 // engineLabel … … 186 196 this.engineTabPage.Name = "engineTabPage"; 187 197 this.engineTabPage.Padding = new System.Windows.Forms.Padding(3); 188 this.engineTabPage.Size = new System.Drawing.Size(705, 4 41);198 this.engineTabPage.Size = new System.Drawing.Size(705, 467); 189 199 this.engineTabPage.TabIndex = 5; 190 200 this.engineTabPage.Text = "Engine"; … … 198 208 this.engineViewHost.Caption = "View"; 199 209 this.engineViewHost.Content = null; 210 this.engineViewHost.Enabled = false; 200 211 this.engineViewHost.Location = new System.Drawing.Point(6, 33); 201 212 this.engineViewHost.Name = "engineViewHost"; 202 213 this.engineViewHost.ReadOnly = false; 203 this.engineViewHost.Size = new System.Drawing.Size(693, 4 02);214 this.engineViewHost.Size = new System.Drawing.Size(693, 428); 204 215 this.engineViewHost.TabIndex = 2; 216 this.engineViewHost.ViewsLabelVisible = true; 205 217 this.engineViewHost.ViewType = null; 206 218 // … … 212 224 this.operatorGraphTabPage.Location = new System.Drawing.Point(4, 22); 213 225 this.operatorGraphTabPage.Name = "operatorGraphTabPage"; 214 this.operatorGraphTabPage.Size = new System.Drawing.Size(705, 4 41);226 this.operatorGraphTabPage.Size = new System.Drawing.Size(705, 467); 215 227 this.operatorGraphTabPage.TabIndex = 4; 216 228 this.operatorGraphTabPage.Text = "Operator Graph"; … … 246 258 this.operatorGraphViewHost.Caption = "View"; 247 259 this.operatorGraphViewHost.Content = null; 260 this.operatorGraphViewHost.Enabled = false; 248 261 this.operatorGraphViewHost.Location = new System.Drawing.Point(3, 33); 249 262 this.operatorGraphViewHost.Name = "operatorGraphViewHost"; 250 263 this.operatorGraphViewHost.ReadOnly = true; 251 this.operatorGraphViewHost.Size = new System.Drawing.Size(699, 4 05);264 this.operatorGraphViewHost.Size = new System.Drawing.Size(699, 431); 252 265 this.operatorGraphViewHost.TabIndex = 0; 266 this.operatorGraphViewHost.ViewsLabelVisible = true; 253 267 this.operatorGraphViewHost.ViewType = null; 254 268 // -
trunk/sources/HeuristicLab.Optimization.Views/3.3/ExperimentView.Designer.cs
r5466 r5832 45 45 /// </summary> 46 46 private void InitializeComponent() { 47 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ExperimentView));48 47 this.tabControl = new HeuristicLab.MainForm.WindowsForms.DragOverTabControl(); 49 48 this.optimizersTabPage = new System.Windows.Forms.TabPage(); 50 49 this.optimizerListView = new HeuristicLab.Optimization.Views.OptimizerListView(); 51 50 this.runsTabPage = new System.Windows.Forms.TabPage(); 51 this.runsViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost(); 52 52 this.startButton = new System.Windows.Forms.Button(); 53 53 this.stopButton = new System.Windows.Forms.Button(); … … 56 56 this.executionTimeTextBox = new System.Windows.Forms.TextBox(); 57 57 this.pauseButton = new System.Windows.Forms.Button(); 58 this.runsViewHost = new HeuristicLab.MainForm.WindowsForms.ViewHost();59 58 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); 60 59 this.tabControl.SuspendLayout(); … … 67 66 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 68 67 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 69 this.nameTextBox.Size = new System.Drawing.Size(607, 20); 70 // 71 // descriptionTextBox 72 // 73 this.descriptionTextBox.Size = new System.Drawing.Size(607, 20); 68 this.nameTextBox.Location = new System.Drawing.Point(60, 0); 69 this.nameTextBox.Size = new System.Drawing.Size(594, 20); 70 // 71 // infoLabel 72 // 73 this.infoLabel.Location = new System.Drawing.Point(660, 3); 74 74 // 75 75 // tabControl 76 76 // 77 this.tabControl.AllowDrop = true; 77 78 this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 78 79 | System.Windows.Forms.AnchorStyles.Left) … … 80 81 this.tabControl.Controls.Add(this.optimizersTabPage); 81 82 this.tabControl.Controls.Add(this.runsTabPage); 82 this.tabControl.Location = new System.Drawing.Point(0, 52);83 this.tabControl.Location = new System.Drawing.Point(0, 26); 83 84 this.tabControl.Name = "tabControl"; 84 85 this.tabControl.SelectedIndex = 0; 85 this.tabControl.Size = new System.Drawing.Size(679, 4 00);86 this.tabControl.TabIndex = 4;86 this.tabControl.Size = new System.Drawing.Size(679, 426); 87 this.tabControl.TabIndex = 3; 87 88 // 88 89 // optimizersTabPage … … 92 93 this.optimizersTabPage.Name = "optimizersTabPage"; 93 94 this.optimizersTabPage.Padding = new System.Windows.Forms.Padding(3); 94 this.optimizersTabPage.Size = new System.Drawing.Size(671, 374);95 this.optimizersTabPage.Size = new System.Drawing.Size(671, 400); 95 96 this.optimizersTabPage.TabIndex = 1; 96 97 this.optimizersTabPage.Text = "Optimizers"; … … 102 103 | System.Windows.Forms.AnchorStyles.Left) 103 104 | System.Windows.Forms.AnchorStyles.Right))); 105 this.optimizerListView.Caption = "OptimizerList View"; 104 106 this.optimizerListView.Content = null; 105 107 this.optimizerListView.Location = new System.Drawing.Point(6, 6); 106 108 this.optimizerListView.Name = "optimizerListView"; 107 this.optimizerListView.Size = new System.Drawing.Size(659, 362); 109 this.optimizerListView.ReadOnly = false; 110 this.optimizerListView.Size = new System.Drawing.Size(659, 388); 108 111 this.optimizerListView.TabIndex = 0; 109 112 // … … 114 117 this.runsTabPage.Name = "runsTabPage"; 115 118 this.runsTabPage.Padding = new System.Windows.Forms.Padding(3); 116 this.runsTabPage.Size = new System.Drawing.Size(671, 374);119 this.runsTabPage.Size = new System.Drawing.Size(671, 400); 117 120 this.runsTabPage.TabIndex = 2; 118 121 this.runsTabPage.Text = "Runs"; 119 122 this.runsTabPage.UseVisualStyleBackColor = true; 120 123 // 124 // runsViewHost 125 // 126 this.runsViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 127 | System.Windows.Forms.AnchorStyles.Left) 128 | System.Windows.Forms.AnchorStyles.Right))); 129 this.runsViewHost.Caption = "View"; 130 this.runsViewHost.Content = null; 131 this.runsViewHost.Enabled = false; 132 this.runsViewHost.Location = new System.Drawing.Point(2, 6); 133 this.runsViewHost.Name = "runsViewHost"; 134 this.runsViewHost.ReadOnly = false; 135 this.runsViewHost.Size = new System.Drawing.Size(663, 388); 136 this.runsViewHost.TabIndex = 0; 137 this.runsViewHost.ViewsLabelVisible = true; 138 this.runsViewHost.ViewType = null; 139 // 121 140 // startButton 122 141 // 123 142 this.startButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 124 this.startButton.Image = Common.Resources.VSImageLibrary.Play;143 this.startButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Play; 125 144 this.startButton.Location = new System.Drawing.Point(0, 458); 126 145 this.startButton.Name = "startButton"; 127 146 this.startButton.Size = new System.Drawing.Size(24, 24); 128 this.startButton.TabIndex = 5;147 this.startButton.TabIndex = 4; 129 148 this.toolTip.SetToolTip(this.startButton, "Start/Resume Experiment"); 130 149 this.startButton.UseVisualStyleBackColor = true; … … 134 153 // 135 154 this.stopButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 136 this.stopButton.Image = Common.Resources.VSImageLibrary.Stop;155 this.stopButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Stop; 137 156 this.stopButton.Location = new System.Drawing.Point(60, 458); 138 157 this.stopButton.Name = "stopButton"; 139 158 this.stopButton.Size = new System.Drawing.Size(24, 24); 140 this.stopButton.TabIndex = 7;159 this.stopButton.TabIndex = 6; 141 160 this.toolTip.SetToolTip(this.stopButton, "Stop Experiment"); 142 161 this.stopButton.UseVisualStyleBackColor = true; … … 146 165 // 147 166 this.resetButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 148 this.resetButton.Image = Common.Resources.VSImageLibrary.Restart;167 this.resetButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Restart; 149 168 this.resetButton.Location = new System.Drawing.Point(90, 458); 150 169 this.resetButton.Name = "resetButton"; 151 170 this.resetButton.Size = new System.Drawing.Size(24, 24); 152 this.resetButton.TabIndex = 8;171 this.resetButton.TabIndex = 7; 153 172 this.toolTip.SetToolTip(this.resetButton, "Reset Experiment"); 154 173 this.resetButton.UseVisualStyleBackColor = true; … … 162 181 this.executionTimeLabel.Name = "executionTimeLabel"; 163 182 this.executionTimeLabel.Size = new System.Drawing.Size(83, 13); 164 this.executionTimeLabel.TabIndex = 9;183 this.executionTimeLabel.TabIndex = 8; 165 184 this.executionTimeLabel.Text = "&Execution Time:"; 166 185 // … … 172 191 this.executionTimeTextBox.ReadOnly = true; 173 192 this.executionTimeTextBox.Size = new System.Drawing.Size(137, 20); 174 this.executionTimeTextBox.TabIndex = 10;193 this.executionTimeTextBox.TabIndex = 9; 175 194 // 176 195 // pauseButton 177 196 // 178 197 this.pauseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 179 this.pauseButton.Image = Common.Resources.VSImageLibrary.Pause;198 this.pauseButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Pause; 180 199 this.pauseButton.Location = new System.Drawing.Point(30, 458); 181 200 this.pauseButton.Name = "pauseButton"; 182 201 this.pauseButton.Size = new System.Drawing.Size(24, 24); 183 this.pauseButton.TabIndex = 6;202 this.pauseButton.TabIndex = 5; 184 203 this.toolTip.SetToolTip(this.pauseButton, "Pause Experiment"); 185 204 this.pauseButton.UseVisualStyleBackColor = true; 186 205 this.pauseButton.Click += new System.EventHandler(this.pauseButton_Click); 187 //188 // runsViewHost189 //190 this.runsViewHost.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)191 | System.Windows.Forms.AnchorStyles.Left)192 | System.Windows.Forms.AnchorStyles.Right)));193 this.runsViewHost.Content = null;194 this.runsViewHost.Location = new System.Drawing.Point(2, 6);195 this.runsViewHost.Name = "runsViewHost";196 this.runsViewHost.Size = new System.Drawing.Size(663, 362);197 this.runsViewHost.TabIndex = 0;198 this.runsViewHost.ViewType = null;199 206 // 200 207 // ExperimentView … … 211 218 this.Name = "ExperimentView"; 212 219 this.Size = new System.Drawing.Size(679, 482); 220 this.Controls.SetChildIndex(this.infoLabel, 0); 213 221 this.Controls.SetChildIndex(this.resetButton, 0); 214 222 this.Controls.SetChildIndex(this.stopButton, 0); … … 219 227 this.Controls.SetChildIndex(this.tabControl, 0); 220 228 this.Controls.SetChildIndex(this.nameLabel, 0); 221 this.Controls.SetChildIndex(this.descriptionLabel, 0);222 229 this.Controls.SetChildIndex(this.nameTextBox, 0); 223 this.Controls.SetChildIndex(this.descriptionTextBox, 0);224 230 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); 225 231 this.tabControl.ResumeLayout(false); -
trunk/sources/HeuristicLab.Optimization.Views/3.3/ExperimentView.cs
r5445 r5832 114 114 Invoke(new EventHandler(Content_Prepared), sender, e); 115 115 else { 116 nameTextBox.Enabled = descriptionTextBox.Enabled = true;116 nameTextBox.Enabled = infoLabel.Enabled = true; 117 117 ReadOnly = Locked = false; 118 118 SetEnabledStateOfExecutableButtons(); … … 123 123 Invoke(new EventHandler(Content_Started), sender, e); 124 124 else { 125 nameTextBox.Enabled = descriptionTextBox.Enabled = false;125 nameTextBox.Enabled = infoLabel.Enabled = false; 126 126 ReadOnly = Locked = true; 127 127 SetEnabledStateOfExecutableButtons(); … … 132 132 Invoke(new EventHandler(Content_Paused), sender, e); 133 133 else { 134 nameTextBox.Enabled = descriptionTextBox.Enabled = true;134 nameTextBox.Enabled = infoLabel.Enabled = true; 135 135 ReadOnly = Locked = false; 136 136 SetEnabledStateOfExecutableButtons(); … … 141 141 Invoke(new EventHandler(Content_Stopped), sender, e); 142 142 else { 143 nameTextBox.Enabled = descriptionTextBox.Enabled = true;143 nameTextBox.Enabled = infoLabel.Enabled = true; 144 144 ReadOnly = Locked = false; 145 145 SetEnabledStateOfExecutableButtons(); -
trunk/sources/HeuristicLab.Optimization.Views/3.3/ResultView.Designer.cs
r5445 r5832 59 59 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 60 60 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 61 this.nameTextBox.Size = new System.Drawing.Size(287, 20); 61 this.nameTextBox.Location = new System.Drawing.Point(69, 0); 62 this.nameTextBox.Size = new System.Drawing.Size(265, 20); 62 63 // 63 // descriptionTextBox64 // infoLabel 64 65 // 65 this. descriptionTextBox.Size = new System.Drawing.Size(287, 20);66 this.infoLabel.Location = new System.Drawing.Point(340, 3); 66 67 // 67 68 // dataTypeLabel 68 69 // 69 70 this.dataTypeLabel.AutoSize = true; 70 this.dataTypeLabel.Location = new System.Drawing.Point(3, 55);71 this.dataTypeLabel.Location = new System.Drawing.Point(3, 29); 71 72 this.dataTypeLabel.Name = "dataTypeLabel"; 72 73 this.dataTypeLabel.Size = new System.Drawing.Size(60, 13); 73 this.dataTypeLabel.TabIndex = 4;74 this.dataTypeLabel.TabIndex = 3; 74 75 this.dataTypeLabel.Text = "Data &Type:"; 75 76 // … … 78 79 this.dataTypeTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 79 80 | System.Windows.Forms.AnchorStyles.Right))); 80 this.dataTypeTextBox.Location = new System.Drawing.Point( 72, 52);81 this.dataTypeTextBox.Location = new System.Drawing.Point(69, 26); 81 82 this.dataTypeTextBox.Name = "dataTypeTextBox"; 82 83 this.dataTypeTextBox.ReadOnly = true; 83 this.dataTypeTextBox.Size = new System.Drawing.Size(2 87, 20);84 this.dataTypeTextBox.TabIndex = 5;84 this.dataTypeTextBox.Size = new System.Drawing.Size(290, 20); 85 this.dataTypeTextBox.TabIndex = 4; 85 86 // 86 87 // valueGroupBox … … 90 91 | System.Windows.Forms.AnchorStyles.Right))); 91 92 this.valueGroupBox.Controls.Add(this.valuePanel); 92 this.valueGroupBox.Location = new System.Drawing.Point(0, 78);93 this.valueGroupBox.Location = new System.Drawing.Point(0, 52); 93 94 this.valueGroupBox.Name = "valueGroupBox"; 94 this.valueGroupBox.Size = new System.Drawing.Size(359, 196);95 this.valueGroupBox.TabIndex = 7;95 this.valueGroupBox.Size = new System.Drawing.Size(359, 222); 96 this.valueGroupBox.TabIndex = 5; 96 97 this.valueGroupBox.TabStop = false; 97 98 this.valueGroupBox.Text = "Value"; … … 106 107 this.valuePanel.Location = new System.Drawing.Point(6, 19); 107 108 this.valuePanel.Name = "valuePanel"; 108 this.valuePanel.Size = new System.Drawing.Size(347, 1 71);109 this.valuePanel.Size = new System.Drawing.Size(347, 197); 109 110 this.valuePanel.TabIndex = 2; 110 111 // 111 112 // viewHost 112 113 // 114 this.viewHost.Caption = "View"; 113 115 this.viewHost.Content = null; 114 116 this.viewHost.Dock = System.Windows.Forms.DockStyle.Fill; 117 this.viewHost.Enabled = false; 115 118 this.viewHost.Location = new System.Drawing.Point(0, 0); 116 119 this.viewHost.Name = "viewHost"; 117 this.viewHost.Size = new System.Drawing.Size(347, 171); 120 this.viewHost.ReadOnly = false; 121 this.viewHost.Size = new System.Drawing.Size(347, 197); 118 122 this.viewHost.TabIndex = 0; 123 this.viewHost.ViewsLabelVisible = true; 119 124 this.viewHost.ViewType = null; 120 125 // … … 128 133 this.Name = "ResultView"; 129 134 this.Size = new System.Drawing.Size(359, 274); 130 this.Controls.SetChildIndex(this. descriptionLabel, 0);135 this.Controls.SetChildIndex(this.infoLabel, 0); 131 136 this.Controls.SetChildIndex(this.dataTypeTextBox, 0); 132 137 this.Controls.SetChildIndex(this.dataTypeLabel, 0); 133 this.Controls.SetChildIndex(this.descriptionTextBox, 0);134 138 this.Controls.SetChildIndex(this.nameTextBox, 0); 135 139 this.Controls.SetChildIndex(this.nameLabel, 0); -
trunk/sources/HeuristicLab.Optimization.Views/3.3/RunView.Designer.cs
r5445 r5832 64 64 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); 65 65 this.parametersResultsGroupBox.SuspendLayout(); 66 ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit(); 66 67 this.splitContainer.Panel1.SuspendLayout(); 67 68 this.splitContainer.Panel2.SuspendLayout(); … … 74 75 this.errorProvider.SetIconAlignment(this.nameTextBox, System.Windows.Forms.ErrorIconAlignment.MiddleLeft); 75 76 this.errorProvider.SetIconPadding(this.nameTextBox, 2); 76 this.nameTextBox.Size = new System.Drawing.Size(423, 20); 77 // 78 // descriptionTextBox 79 // 80 this.descriptionTextBox.Size = new System.Drawing.Size(423, 20); 77 this.nameTextBox.Location = new System.Drawing.Point(56, 0); 78 this.nameTextBox.Size = new System.Drawing.Size(414, 20); 79 // 80 // infoLabel 81 // 82 this.infoLabel.Location = new System.Drawing.Point(476, 3); 81 83 // 82 84 // parametersResultsGroupBox … … 86 88 | System.Windows.Forms.AnchorStyles.Right))); 87 89 this.parametersResultsGroupBox.Controls.Add(this.splitContainer); 88 this.parametersResultsGroupBox.Location = new System.Drawing.Point(0, 82);90 this.parametersResultsGroupBox.Location = new System.Drawing.Point(0, 56); 89 91 this.parametersResultsGroupBox.Name = "parametersResultsGroupBox"; 90 this.parametersResultsGroupBox.Size = new System.Drawing.Size(495, 2 42);91 this.parametersResultsGroupBox.TabIndex = 8;92 this.parametersResultsGroupBox.Size = new System.Drawing.Size(495, 268); 93 this.parametersResultsGroupBox.TabIndex = 6; 92 94 this.parametersResultsGroupBox.TabStop = false; 93 95 this.parametersResultsGroupBox.Text = "Parameters && Results"; … … 106 108 // 107 109 this.splitContainer.Panel2.Controls.Add(this.detailsGroupBox); 108 this.splitContainer.Size = new System.Drawing.Size(489, 2 23);110 this.splitContainer.Size = new System.Drawing.Size(489, 249); 109 111 this.splitContainer.SplitterDistance = 177; 110 112 this.splitContainer.TabIndex = 0; … … 131 133 this.listView.Name = "listView"; 132 134 this.listView.ShowItemToolTips = true; 133 this.listView.Size = new System.Drawing.Size(171, 2 17);135 this.listView.Size = new System.Drawing.Size(171, 243); 134 136 this.listView.SmallImageList = this.imageList; 135 137 this.listView.Sorting = System.Windows.Forms.SortOrder.Ascending; … … 163 165 this.detailsGroupBox.Location = new System.Drawing.Point(3, 3); 164 166 this.detailsGroupBox.Name = "detailsGroupBox"; 165 this.detailsGroupBox.Size = new System.Drawing.Size(302, 2 17);167 this.detailsGroupBox.Size = new System.Drawing.Size(302, 243); 166 168 this.detailsGroupBox.TabIndex = 0; 167 169 this.detailsGroupBox.TabStop = false; … … 175 177 this.viewHost.Caption = "View"; 176 178 this.viewHost.Content = null; 179 this.viewHost.Enabled = false; 177 180 this.viewHost.Location = new System.Drawing.Point(6, 19); 178 181 this.viewHost.Name = "viewHost"; 179 182 this.viewHost.ReadOnly = true; 180 this.viewHost.Size = new System.Drawing.Size(290, 192);183 this.viewHost.Size = new System.Drawing.Size(290, 218); 181 184 this.viewHost.TabIndex = 0; 185 this.viewHost.ViewsLabelVisible = true; 182 186 this.viewHost.ViewType = null; 183 187 // … … 189 193 this.showAlgorithmButton.Name = "showAlgorithmButton"; 190 194 this.showAlgorithmButton.Size = new System.Drawing.Size(495, 23); 191 this.showAlgorithmButton.TabIndex = 9;195 this.showAlgorithmButton.TabIndex = 8; 192 196 this.showAlgorithmButton.Text = "&Show Algorithm"; 193 197 this.toolTip.SetToolTip(this.showAlgorithmButton, "Show the algorithm which produced these results"); … … 199 203 this.changeColorButton.Enabled = false; 200 204 this.changeColorButton.ImageAlign = System.Drawing.ContentAlignment.MiddleLeft; 201 this.changeColorButton.Location = new System.Drawing.Point( 94, 52);205 this.changeColorButton.Location = new System.Drawing.Point(78, 26); 202 206 this.changeColorButton.Name = "changeColorButton"; 203 207 this.changeColorButton.Size = new System.Drawing.Size(64, 24); 204 this.changeColorButton.TabIndex = 6;208 this.changeColorButton.TabIndex = 5; 205 209 this.changeColorButton.Text = "&Change..."; 206 210 this.changeColorButton.UseVisualStyleBackColor = true; … … 210 214 // 211 215 this.colorLabel.AutoSize = true; 212 this.colorLabel.Location = new System.Drawing.Point(3, 58);216 this.colorLabel.Location = new System.Drawing.Point(3, 32); 213 217 this.colorLabel.Name = "colorLabel"; 214 218 this.colorLabel.Size = new System.Drawing.Size(34, 13); 215 this.colorLabel.TabIndex = 4;219 this.colorLabel.TabIndex = 3; 216 220 this.colorLabel.Text = "C&olor:"; 217 221 // … … 223 227 this.showDetailsCheckBox.CheckState = System.Windows.Forms.CheckState.Checked; 224 228 this.showDetailsCheckBox.Image = HeuristicLab.Common.Resources.VSImageLibrary.Properties; 225 this.showDetailsCheckBox.Location = new System.Drawing.Point(471, 52);229 this.showDetailsCheckBox.Location = new System.Drawing.Point(471, 26); 226 230 this.showDetailsCheckBox.Name = "showDetailsCheckBox"; 227 231 this.showDetailsCheckBox.Size = new System.Drawing.Size(24, 24); … … 235 239 this.colorArea.BackColor = System.Drawing.Color.White; 236 240 this.colorArea.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle; 237 this.colorArea.Location = new System.Drawing.Point( 72, 56);241 this.colorArea.Location = new System.Drawing.Point(56, 31); 238 242 this.colorArea.Name = "colorArea"; 239 243 this.colorArea.Size = new System.Drawing.Size(16, 16); 240 this.colorArea.TabIndex = 5;244 this.colorArea.TabIndex = 4; 241 245 // 242 246 // RunView … … 252 256 this.Name = "RunView"; 253 257 this.Size = new System.Drawing.Size(495, 353); 258 this.Controls.SetChildIndex(this.infoLabel, 0); 254 259 this.Controls.SetChildIndex(this.showAlgorithmButton, 0); 255 260 this.Controls.SetChildIndex(this.parametersResultsGroupBox, 0); 256 this.Controls.SetChildIndex(this.descriptionLabel, 0);257 this.Controls.SetChildIndex(this.descriptionTextBox, 0);258 261 this.Controls.SetChildIndex(this.nameTextBox, 0); 259 262 this.Controls.SetChildIndex(this.nameLabel, 0); … … 266 269 this.splitContainer.Panel1.ResumeLayout(false); 267 270 this.splitContainer.Panel2.ResumeLayout(false); 271 ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit(); 268 272 this.splitContainer.ResumeLayout(false); 269 273 this.detailsGroupBox.ResumeLayout(false);
Note: See TracChangeset
for help on using the changeset viewer.