[8055] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[16140] | 3 | * Copyright (C) 2002-2018 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
|
---|
[8055] | 4 | *
|
---|
| 5 | * This file is part of HeuristicLab.
|
---|
| 6 | *
|
---|
| 7 | * HeuristicLab is free software: you can redistribute it and/or modify
|
---|
| 8 | * it under the terms of the GNU General Public License as published by
|
---|
| 9 | * the Free Software Foundation, either version 3 of the License, or
|
---|
| 10 | * (at your option) any later version.
|
---|
| 11 | *
|
---|
| 12 | * HeuristicLab is distributed in the hope that it will be useful,
|
---|
| 13 | * but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
| 14 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
| 15 | * GNU General Public License for more details.
|
---|
| 16 | *
|
---|
| 17 | * You should have received a copy of the GNU General Public License
|
---|
| 18 | * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
|
---|
| 19 | */
|
---|
| 20 | #endregion
|
---|
| 21 |
|
---|
| 22 | namespace HeuristicLab.Clients.OKB.Query {
|
---|
| 23 | partial class QueryView {
|
---|
| 24 | /// <summary>
|
---|
| 25 | /// Required designer variable.
|
---|
| 26 | /// </summary>
|
---|
| 27 | private System.ComponentModel.IContainer components = null;
|
---|
| 28 |
|
---|
| 29 | /// <summary>
|
---|
| 30 | /// Clean up any resources being used.
|
---|
| 31 | /// </summary>
|
---|
| 32 | /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
|
---|
| 33 | protected override void Dispose(bool disposing) {
|
---|
| 34 | if (disposing) {
|
---|
| 35 | if (components != null) components.Dispose();
|
---|
| 36 | }
|
---|
| 37 | base.Dispose(disposing);
|
---|
| 38 | }
|
---|
| 39 |
|
---|
| 40 | #region Component Designer generated code
|
---|
| 41 |
|
---|
| 42 | /// <summary>
|
---|
| 43 | /// Required method for Designer support - do not modify
|
---|
| 44 | /// the contents of this method with the code editor.
|
---|
| 45 | /// </summary>
|
---|
| 46 | private void InitializeComponent() {
|
---|
| 47 | this.components = new System.ComponentModel.Container();
|
---|
| 48 | this.refreshResultsButton = new System.Windows.Forms.Button();
|
---|
| 49 | this.toolTip = new System.Windows.Forms.ToolTip(this.components);
|
---|
| 50 | this.runCollectionView = new HeuristicLab.Optimization.Views.RunCollectionView();
|
---|
| 51 | this.splitContainer = new System.Windows.Forms.SplitContainer();
|
---|
| 52 | this.filterTabControl = new System.Windows.Forms.TabControl();
|
---|
| 53 | this.filterTabPage = new System.Windows.Forms.TabPage();
|
---|
| 54 | this.filtersGroupBox = new System.Windows.Forms.GroupBox();
|
---|
| 55 | this.filterPanel = new System.Windows.Forms.Panel();
|
---|
| 56 | this.refreshFiltersButton = new System.Windows.Forms.Button();
|
---|
| 57 | this.constraintsTabPage = new System.Windows.Forms.TabPage();
|
---|
| 58 | this.deselectAllButton = new System.Windows.Forms.Button();
|
---|
| 59 | this.selectAllButton = new System.Windows.Forms.Button();
|
---|
| 60 | this.constraintsCheckedListBox = new System.Windows.Forms.CheckedListBox();
|
---|
| 61 | this.resultsGroupBox = new System.Windows.Forms.GroupBox();
|
---|
| 62 | this.includeBinaryValuesCheckBox = new System.Windows.Forms.CheckBox();
|
---|
| 63 | this.resultsInfoPanel = new System.Windows.Forms.Panel();
|
---|
| 64 | this.abortButton = new System.Windows.Forms.Button();
|
---|
| 65 | this.resultsProgressBar = new System.Windows.Forms.ProgressBar();
|
---|
| 66 | this.resultsInfoLabel = new System.Windows.Forms.Label();
|
---|
| 67 | this.filtersInfoPanel = new System.Windows.Forms.Panel();
|
---|
| 68 | this.filtersInfoLabel = new System.Windows.Forms.Label();
|
---|
| 69 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
|
---|
| 70 | this.splitContainer.Panel1.SuspendLayout();
|
---|
| 71 | this.splitContainer.Panel2.SuspendLayout();
|
---|
| 72 | this.splitContainer.SuspendLayout();
|
---|
| 73 | this.filterTabControl.SuspendLayout();
|
---|
| 74 | this.filterTabPage.SuspendLayout();
|
---|
| 75 | this.filtersGroupBox.SuspendLayout();
|
---|
| 76 | this.constraintsTabPage.SuspendLayout();
|
---|
| 77 | this.resultsGroupBox.SuspendLayout();
|
---|
| 78 | this.resultsInfoPanel.SuspendLayout();
|
---|
| 79 | this.filtersInfoPanel.SuspendLayout();
|
---|
| 80 | this.SuspendLayout();
|
---|
| 81 | //
|
---|
| 82 | // refreshResultsButton
|
---|
| 83 | //
|
---|
| 84 | this.refreshResultsButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh;
|
---|
| 85 | this.refreshResultsButton.Location = new System.Drawing.Point(6, 19);
|
---|
| 86 | this.refreshResultsButton.Name = "refreshResultsButton";
|
---|
| 87 | this.refreshResultsButton.Size = new System.Drawing.Size(24, 24);
|
---|
| 88 | this.refreshResultsButton.TabIndex = 0;
|
---|
| 89 | this.toolTip.SetToolTip(this.refreshResultsButton, "Refresh Results");
|
---|
| 90 | this.refreshResultsButton.UseVisualStyleBackColor = true;
|
---|
| 91 | this.refreshResultsButton.Click += new System.EventHandler(this.refreshResultsButton_Click);
|
---|
| 92 | //
|
---|
| 93 | // runCollectionView
|
---|
| 94 | //
|
---|
| 95 | this.runCollectionView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 96 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 97 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 98 | this.runCollectionView.Caption = "RunCollection View";
|
---|
| 99 | this.runCollectionView.Content = null;
|
---|
| 100 | this.runCollectionView.Location = new System.Drawing.Point(6, 49);
|
---|
| 101 | this.runCollectionView.Name = "runCollectionView";
|
---|
| 102 | this.runCollectionView.ReadOnly = false;
|
---|
| 103 | this.runCollectionView.Size = new System.Drawing.Size(826, 223);
|
---|
| 104 | this.runCollectionView.TabIndex = 3;
|
---|
| 105 | //
|
---|
| 106 | // splitContainer
|
---|
| 107 | //
|
---|
| 108 | this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 109 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 110 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 111 | this.splitContainer.Location = new System.Drawing.Point(0, 0);
|
---|
| 112 | this.splitContainer.Name = "splitContainer";
|
---|
| 113 | this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
|
---|
| 114 | //
|
---|
| 115 | // splitContainer.Panel1
|
---|
| 116 | //
|
---|
| 117 | this.splitContainer.Panel1.Controls.Add(this.filterTabControl);
|
---|
| 118 | //
|
---|
| 119 | // splitContainer.Panel2
|
---|
| 120 | //
|
---|
| 121 | this.splitContainer.Panel2.Controls.Add(this.resultsGroupBox);
|
---|
| 122 | this.splitContainer.Size = new System.Drawing.Size(838, 567);
|
---|
| 123 | this.splitContainer.SplitterDistance = 282;
|
---|
| 124 | this.splitContainer.TabIndex = 0;
|
---|
| 125 | //
|
---|
| 126 | // filterTabControl
|
---|
| 127 | //
|
---|
| 128 | this.filterTabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 129 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 130 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 131 | this.filterTabControl.Controls.Add(this.filterTabPage);
|
---|
| 132 | this.filterTabControl.Controls.Add(this.constraintsTabPage);
|
---|
| 133 | this.filterTabControl.Location = new System.Drawing.Point(3, 3);
|
---|
| 134 | this.filterTabControl.Name = "filterTabControl";
|
---|
| 135 | this.filterTabControl.SelectedIndex = 0;
|
---|
| 136 | this.filterTabControl.Size = new System.Drawing.Size(832, 276);
|
---|
| 137 | this.filterTabControl.TabIndex = 1;
|
---|
| 138 | //
|
---|
| 139 | // filterTabPage
|
---|
| 140 | //
|
---|
| 141 | this.filterTabPage.Controls.Add(this.filtersGroupBox);
|
---|
| 142 | this.filterTabPage.Location = new System.Drawing.Point(4, 22);
|
---|
| 143 | this.filterTabPage.Name = "filterTabPage";
|
---|
| 144 | this.filterTabPage.Padding = new System.Windows.Forms.Padding(3);
|
---|
| 145 | this.filterTabPage.Size = new System.Drawing.Size(824, 250);
|
---|
| 146 | this.filterTabPage.TabIndex = 0;
|
---|
| 147 | this.filterTabPage.Text = "Filters";
|
---|
| 148 | this.filterTabPage.UseVisualStyleBackColor = true;
|
---|
| 149 | //
|
---|
| 150 | // filtersGroupBox
|
---|
| 151 | //
|
---|
| 152 | this.filtersGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 153 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 154 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 155 | this.filtersGroupBox.Controls.Add(this.filterPanel);
|
---|
| 156 | this.filtersGroupBox.Controls.Add(this.refreshFiltersButton);
|
---|
| 157 | this.filtersGroupBox.Location = new System.Drawing.Point(6, 6);
|
---|
| 158 | this.filtersGroupBox.Name = "filtersGroupBox";
|
---|
| 159 | this.filtersGroupBox.Size = new System.Drawing.Size(812, 238);
|
---|
| 160 | this.filtersGroupBox.TabIndex = 0;
|
---|
| 161 | this.filtersGroupBox.TabStop = false;
|
---|
| 162 | this.filtersGroupBox.Text = "Filters";
|
---|
| 163 | //
|
---|
| 164 | // filterPanel
|
---|
| 165 | //
|
---|
| 166 | this.filterPanel.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 167 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 168 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 169 | this.filterPanel.Location = new System.Drawing.Point(6, 19);
|
---|
| 170 | this.filterPanel.Name = "filterPanel";
|
---|
| 171 | this.filterPanel.Size = new System.Drawing.Size(770, 213);
|
---|
| 172 | this.filterPanel.TabIndex = 1;
|
---|
| 173 | //
|
---|
| 174 | // refreshFiltersButton
|
---|
| 175 | //
|
---|
| 176 | this.refreshFiltersButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 177 | this.refreshFiltersButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh;
|
---|
| 178 | this.refreshFiltersButton.Location = new System.Drawing.Point(782, 21);
|
---|
| 179 | this.refreshFiltersButton.Name = "refreshFiltersButton";
|
---|
| 180 | this.refreshFiltersButton.Size = new System.Drawing.Size(24, 24);
|
---|
| 181 | this.refreshFiltersButton.TabIndex = 0;
|
---|
| 182 | this.refreshFiltersButton.UseVisualStyleBackColor = true;
|
---|
| 183 | this.refreshFiltersButton.Click += new System.EventHandler(this.refreshFiltersButton_Click);
|
---|
| 184 | //
|
---|
| 185 | // constraintsTabPage
|
---|
| 186 | //
|
---|
| 187 | this.constraintsTabPage.Controls.Add(this.deselectAllButton);
|
---|
| 188 | this.constraintsTabPage.Controls.Add(this.selectAllButton);
|
---|
| 189 | this.constraintsTabPage.Controls.Add(this.constraintsCheckedListBox);
|
---|
| 190 | this.constraintsTabPage.Location = new System.Drawing.Point(4, 22);
|
---|
| 191 | this.constraintsTabPage.Name = "constraintsTabPage";
|
---|
| 192 | this.constraintsTabPage.Padding = new System.Windows.Forms.Padding(3);
|
---|
| 193 | this.constraintsTabPage.Size = new System.Drawing.Size(824, 250);
|
---|
| 194 | this.constraintsTabPage.TabIndex = 1;
|
---|
| 195 | this.constraintsTabPage.Text = "Limit Downloaded Values";
|
---|
| 196 | this.constraintsTabPage.UseVisualStyleBackColor = true;
|
---|
| 197 | //
|
---|
| 198 | // deselectAllButton
|
---|
| 199 | //
|
---|
| 200 | this.deselectAllButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 201 | this.deselectAllButton.Location = new System.Drawing.Point(88, 221);
|
---|
| 202 | this.deselectAllButton.Name = "deselectAllButton";
|
---|
| 203 | this.deselectAllButton.Size = new System.Drawing.Size(75, 23);
|
---|
| 204 | this.deselectAllButton.TabIndex = 2;
|
---|
| 205 | this.deselectAllButton.Text = "Deselect all";
|
---|
| 206 | this.deselectAllButton.UseVisualStyleBackColor = true;
|
---|
| 207 | this.deselectAllButton.Click += new System.EventHandler(this.deselectAllButton_Click);
|
---|
| 208 | //
|
---|
| 209 | // selectAllButton
|
---|
| 210 | //
|
---|
| 211 | this.selectAllButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
|
---|
| 212 | this.selectAllButton.Location = new System.Drawing.Point(6, 221);
|
---|
| 213 | this.selectAllButton.Name = "selectAllButton";
|
---|
| 214 | this.selectAllButton.Size = new System.Drawing.Size(75, 23);
|
---|
| 215 | this.selectAllButton.TabIndex = 1;
|
---|
| 216 | this.selectAllButton.Text = "Select all";
|
---|
| 217 | this.selectAllButton.UseVisualStyleBackColor = true;
|
---|
| 218 | this.selectAllButton.Click += new System.EventHandler(this.selectAllButton_Click);
|
---|
| 219 | //
|
---|
| 220 | // constraintsCheckedListBox
|
---|
| 221 | //
|
---|
| 222 | this.constraintsCheckedListBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 223 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 224 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 225 | this.constraintsCheckedListBox.CheckOnClick = true;
|
---|
| 226 | this.constraintsCheckedListBox.FormattingEnabled = true;
|
---|
| 227 | this.constraintsCheckedListBox.Location = new System.Drawing.Point(6, 6);
|
---|
| 228 | this.constraintsCheckedListBox.Name = "constraintsCheckedListBox";
|
---|
| 229 | this.constraintsCheckedListBox.Size = new System.Drawing.Size(812, 214);
|
---|
| 230 | this.constraintsCheckedListBox.Sorted = true;
|
---|
| 231 | this.constraintsCheckedListBox.TabIndex = 0;
|
---|
| 232 | //
|
---|
| 233 | // resultsGroupBox
|
---|
| 234 | //
|
---|
| 235 | this.resultsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
|
---|
| 236 | | System.Windows.Forms.AnchorStyles.Left)
|
---|
| 237 | | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 238 | this.resultsGroupBox.Controls.Add(this.includeBinaryValuesCheckBox);
|
---|
| 239 | this.resultsGroupBox.Controls.Add(this.refreshResultsButton);
|
---|
| 240 | this.resultsGroupBox.Controls.Add(this.runCollectionView);
|
---|
| 241 | this.resultsGroupBox.Location = new System.Drawing.Point(0, 3);
|
---|
| 242 | this.resultsGroupBox.Name = "resultsGroupBox";
|
---|
| 243 | this.resultsGroupBox.Size = new System.Drawing.Size(838, 278);
|
---|
| 244 | this.resultsGroupBox.TabIndex = 0;
|
---|
| 245 | this.resultsGroupBox.TabStop = false;
|
---|
| 246 | this.resultsGroupBox.Text = "Results";
|
---|
| 247 | //
|
---|
| 248 | // includeBinaryValuesCheckBox
|
---|
| 249 | //
|
---|
| 250 | this.includeBinaryValuesCheckBox.AutoSize = true;
|
---|
| 251 | this.includeBinaryValuesCheckBox.Checked = true;
|
---|
| 252 | this.includeBinaryValuesCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
|
---|
| 253 | this.includeBinaryValuesCheckBox.Location = new System.Drawing.Point(53, 24);
|
---|
| 254 | this.includeBinaryValuesCheckBox.Name = "includeBinaryValuesCheckBox";
|
---|
| 255 | this.includeBinaryValuesCheckBox.Size = new System.Drawing.Size(128, 17);
|
---|
| 256 | this.includeBinaryValuesCheckBox.TabIndex = 1;
|
---|
| 257 | this.includeBinaryValuesCheckBox.Text = "&Include Binary Values";
|
---|
| 258 | this.includeBinaryValuesCheckBox.UseVisualStyleBackColor = true;
|
---|
| 259 | //
|
---|
| 260 | // resultsInfoPanel
|
---|
| 261 | //
|
---|
| 262 | this.resultsInfoPanel.Anchor = System.Windows.Forms.AnchorStyles.Bottom;
|
---|
| 263 | this.resultsInfoPanel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
|
---|
| 264 | this.resultsInfoPanel.Controls.Add(this.abortButton);
|
---|
| 265 | this.resultsInfoPanel.Controls.Add(this.resultsProgressBar);
|
---|
| 266 | this.resultsInfoPanel.Controls.Add(this.resultsInfoLabel);
|
---|
| 267 | this.resultsInfoPanel.Location = new System.Drawing.Point(238, 339);
|
---|
| 268 | this.resultsInfoPanel.Name = "resultsInfoPanel";
|
---|
| 269 | this.resultsInfoPanel.Size = new System.Drawing.Size(362, 87);
|
---|
| 270 | this.resultsInfoPanel.TabIndex = 1;
|
---|
| 271 | this.resultsInfoPanel.Visible = false;
|
---|
| 272 | //
|
---|
| 273 | // abortButton
|
---|
| 274 | //
|
---|
| 275 | this.abortButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Left | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 276 | this.abortButton.Location = new System.Drawing.Point(3, 58);
|
---|
| 277 | this.abortButton.Name = "abortButton";
|
---|
| 278 | this.abortButton.Size = new System.Drawing.Size(354, 23);
|
---|
| 279 | this.abortButton.TabIndex = 2;
|
---|
| 280 | this.abortButton.Text = "&Abort";
|
---|
| 281 | this.abortButton.UseVisualStyleBackColor = true;
|
---|
| 282 | this.abortButton.Click += new System.EventHandler(this.abortButton_Click);
|
---|
| 283 | //
|
---|
| 284 | // resultsProgressBar
|
---|
| 285 | //
|
---|
| 286 | this.resultsProgressBar.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Left | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 287 | this.resultsProgressBar.Enabled = false;
|
---|
| 288 | this.resultsProgressBar.Location = new System.Drawing.Point(3, 29);
|
---|
| 289 | this.resultsProgressBar.Name = "resultsProgressBar";
|
---|
| 290 | this.resultsProgressBar.Size = new System.Drawing.Size(354, 23);
|
---|
| 291 | this.resultsProgressBar.Step = 1;
|
---|
| 292 | this.resultsProgressBar.TabIndex = 1;
|
---|
| 293 | //
|
---|
| 294 | // resultsInfoLabel
|
---|
| 295 | //
|
---|
| 296 | this.resultsInfoLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Left | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 297 | this.resultsInfoLabel.Enabled = false;
|
---|
| 298 | this.resultsInfoLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 12F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
---|
| 299 | this.resultsInfoLabel.Location = new System.Drawing.Point(3, 3);
|
---|
| 300 | this.resultsInfoLabel.Name = "resultsInfoLabel";
|
---|
| 301 | this.resultsInfoLabel.Size = new System.Drawing.Size(354, 23);
|
---|
| 302 | this.resultsInfoLabel.TabIndex = 0;
|
---|
| 303 | this.resultsInfoLabel.Text = "Loading ...";
|
---|
| 304 | this.resultsInfoLabel.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
|
---|
| 305 | //
|
---|
| 306 | // filtersInfoPanel
|
---|
| 307 | //
|
---|
| 308 | this.filtersInfoPanel.Anchor = System.Windows.Forms.AnchorStyles.Top;
|
---|
| 309 | this.filtersInfoPanel.BorderStyle = System.Windows.Forms.BorderStyle.FixedSingle;
|
---|
| 310 | this.filtersInfoPanel.Controls.Add(this.filtersInfoLabel);
|
---|
| 311 | this.filtersInfoPanel.Enabled = false;
|
---|
| 312 | this.filtersInfoPanel.Location = new System.Drawing.Point(238, 136);
|
---|
| 313 | this.filtersInfoPanel.Name = "filtersInfoPanel";
|
---|
| 314 | this.filtersInfoPanel.Size = new System.Drawing.Size(362, 33);
|
---|
| 315 | this.filtersInfoPanel.TabIndex = 0;
|
---|
| 316 | this.filtersInfoPanel.Visible = false;
|
---|
| 317 | //
|
---|
| 318 | // filtersInfoLabel
|
---|
| 319 | //
|
---|
| 320 | this.filtersInfoLabel.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Left | System.Windows.Forms.AnchorStyles.Right)));
|
---|
| 321 | this.filtersInfoLabel.Font = new System.Drawing.Font("Microsoft Sans Serif", 12F, System.Drawing.FontStyle.Italic, System.Drawing.GraphicsUnit.Point, ((byte)(0)));
|
---|
| 322 | this.filtersInfoLabel.Location = new System.Drawing.Point(3, 4);
|
---|
| 323 | this.filtersInfoLabel.Name = "filtersInfoLabel";
|
---|
| 324 | this.filtersInfoLabel.Size = new System.Drawing.Size(354, 23);
|
---|
| 325 | this.filtersInfoLabel.TabIndex = 0;
|
---|
| 326 | this.filtersInfoLabel.Text = "Loading Filters ...";
|
---|
| 327 | this.filtersInfoLabel.TextAlign = System.Drawing.ContentAlignment.MiddleCenter;
|
---|
| 328 | //
|
---|
| 329 | // QueryView
|
---|
| 330 | //
|
---|
| 331 | this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
|
---|
| 332 | this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
|
---|
| 333 | this.Controls.Add(this.filtersInfoPanel);
|
---|
| 334 | this.Controls.Add(this.resultsInfoPanel);
|
---|
| 335 | this.Controls.Add(this.splitContainer);
|
---|
| 336 | this.Name = "QueryView";
|
---|
| 337 | this.Size = new System.Drawing.Size(838, 567);
|
---|
| 338 | this.splitContainer.Panel1.ResumeLayout(false);
|
---|
| 339 | this.splitContainer.Panel2.ResumeLayout(false);
|
---|
| 340 | ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
|
---|
| 341 | this.splitContainer.ResumeLayout(false);
|
---|
| 342 | this.filterTabControl.ResumeLayout(false);
|
---|
| 343 | this.filterTabPage.ResumeLayout(false);
|
---|
| 344 | this.filtersGroupBox.ResumeLayout(false);
|
---|
| 345 | this.constraintsTabPage.ResumeLayout(false);
|
---|
| 346 | this.resultsGroupBox.ResumeLayout(false);
|
---|
| 347 | this.resultsGroupBox.PerformLayout();
|
---|
| 348 | this.resultsInfoPanel.ResumeLayout(false);
|
---|
| 349 | this.filtersInfoPanel.ResumeLayout(false);
|
---|
| 350 | this.ResumeLayout(false);
|
---|
| 351 |
|
---|
| 352 | }
|
---|
| 353 |
|
---|
| 354 | #endregion
|
---|
| 355 |
|
---|
| 356 | private System.Windows.Forms.Button refreshResultsButton;
|
---|
| 357 | private System.Windows.Forms.ToolTip toolTip;
|
---|
| 358 | private HeuristicLab.Optimization.Views.RunCollectionView runCollectionView;
|
---|
| 359 | private System.Windows.Forms.SplitContainer splitContainer;
|
---|
| 360 | private System.Windows.Forms.GroupBox filtersGroupBox;
|
---|
| 361 | private System.Windows.Forms.GroupBox resultsGroupBox;
|
---|
| 362 | private System.Windows.Forms.Panel filterPanel;
|
---|
| 363 | private System.Windows.Forms.Panel resultsInfoPanel;
|
---|
| 364 | private System.Windows.Forms.ProgressBar resultsProgressBar;
|
---|
| 365 | private System.Windows.Forms.Label resultsInfoLabel;
|
---|
| 366 | private System.Windows.Forms.Button abortButton;
|
---|
| 367 | private System.Windows.Forms.Panel filtersInfoPanel;
|
---|
| 368 | private System.Windows.Forms.Label filtersInfoLabel;
|
---|
| 369 | private System.Windows.Forms.Button refreshFiltersButton;
|
---|
| 370 | private System.Windows.Forms.CheckBox includeBinaryValuesCheckBox;
|
---|
| 371 | private System.Windows.Forms.TabControl filterTabControl;
|
---|
| 372 | private System.Windows.Forms.TabPage filterTabPage;
|
---|
| 373 | private System.Windows.Forms.TabPage constraintsTabPage;
|
---|
| 374 | private System.Windows.Forms.Button deselectAllButton;
|
---|
| 375 | private System.Windows.Forms.Button selectAllButton;
|
---|
| 376 | private System.Windows.Forms.CheckedListBox constraintsCheckedListBox;
|
---|
| 377 |
|
---|
| 378 | }
|
---|
| 379 | }
|
---|