Free cookie consent management tool by TermsFeed Policy Generator

source: branches/OKB (trunk integration)/HeuristicLab.Clients.OKB/3.3/Query/Views/QueryView.Designer.cs @ 7624

Last change on this file since 7624 was 7590, checked in by ascheibe, 13 years ago

#1174 fixed some small ui glitches
File size: 19.9 KB
RevLine 
[5073]1#region License Information
2/* HeuristicLab
[7331]3 * Copyright (C) 2002-2012 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[5073]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
[5606]22namespace HeuristicLab.Clients.OKB.Query {
[5073]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();
[5295]48      this.refreshResultsButton = new System.Windows.Forms.Button();
[5073]49      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
[5304]50      this.runCollectionView = new HeuristicLab.Optimization.Views.RunCollectionView();
[5269]51      this.splitContainer = new System.Windows.Forms.SplitContainer();
[7589]52      this.filterTabControl = new System.Windows.Forms.TabControl();
53      this.filterTabPage = new System.Windows.Forms.TabPage();
[5269]54      this.filtersGroupBox = new System.Windows.Forms.GroupBox();
[5304]55      this.filterPanel = new System.Windows.Forms.Panel();
[5612]56      this.refreshFiltersButton = new System.Windows.Forms.Button();
[7589]57      this.constraintsTabPage = new System.Windows.Forms.TabPage();
[7590]58      this.deselectAllButton = new System.Windows.Forms.Button();
59      this.selectAllButton = new System.Windows.Forms.Button();
60      this.constraintsCheckedListBox = new System.Windows.Forms.CheckedListBox();
[5269]61      this.resultsGroupBox = new System.Windows.Forms.GroupBox();
[5612]62      this.includeBinaryValuesCheckBox = new System.Windows.Forms.CheckBox();
[5317]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();
[5269]69      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit();
70      this.splitContainer.Panel1.SuspendLayout();
71      this.splitContainer.Panel2.SuspendLayout();
72      this.splitContainer.SuspendLayout();
[7589]73      this.filterTabControl.SuspendLayout();
74      this.filterTabPage.SuspendLayout();
[5269]75      this.filtersGroupBox.SuspendLayout();
[7589]76      this.constraintsTabPage.SuspendLayout();
[5269]77      this.resultsGroupBox.SuspendLayout();
[5317]78      this.resultsInfoPanel.SuspendLayout();
79      this.filtersInfoPanel.SuspendLayout();
[5073]80      this.SuspendLayout();
81      //
[5295]82      // refreshResultsButton
[5073]83      //
[5295]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);
[5073]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;
[5269]100      this.runCollectionView.Location = new System.Drawing.Point(6, 49);
[5073]101      this.runCollectionView.Name = "runCollectionView";
102      this.runCollectionView.ReadOnly = false;
[5317]103      this.runCollectionView.Size = new System.Drawing.Size(826, 223);
[5612]104      this.runCollectionView.TabIndex = 3;
[5073]105      //
[5269]106      // splitContainer
[5073]107      //
[5269]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;
[5073]114      //
[5269]115      // splitContainer.Panel1
[5073]116      //
[7589]117      this.splitContainer.Panel1.Controls.Add(this.filterTabControl);
[5269]118      //
119      // splitContainer.Panel2
120      //
121      this.splitContainer.Panel2.Controls.Add(this.resultsGroupBox);
[5317]122      this.splitContainer.Size = new System.Drawing.Size(838, 567);
123      this.splitContainer.SplitterDistance = 282;
[5269]124      this.splitContainer.TabIndex = 0;
125      //
[7589]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;
[7590]147      this.filterTabPage.Text = "Filters";
[7589]148      this.filterTabPage.UseVisualStyleBackColor = true;
149      //
[5269]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)));
[5295]155      this.filtersGroupBox.Controls.Add(this.filterPanel);
[5612]156      this.filtersGroupBox.Controls.Add(this.refreshFiltersButton);
[7589]157      this.filtersGroupBox.Location = new System.Drawing.Point(6, 6);
[5269]158      this.filtersGroupBox.Name = "filtersGroupBox";
[7589]159      this.filtersGroupBox.Size = new System.Drawing.Size(812, 238);
[5269]160      this.filtersGroupBox.TabIndex = 0;
161      this.filtersGroupBox.TabStop = false;
162      this.filtersGroupBox.Text = "Filters";
163      //
[5304]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";
[7589]171      this.filterPanel.Size = new System.Drawing.Size(770, 213);
[5612]172      this.filterPanel.TabIndex = 1;
[5304]173      //
[5612]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;
[7589]178      this.refreshFiltersButton.Location = new System.Drawing.Point(782, 21);
[5612]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      //
[7589]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;
[7590]195      this.constraintsTabPage.Text = "Limit Downloaded Values";
[7589]196      this.constraintsTabPage.UseVisualStyleBackColor = true;
197      //
[7590]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      //
[5269]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)));
[5612]238      this.resultsGroupBox.Controls.Add(this.includeBinaryValuesCheckBox);
[5295]239      this.resultsGroupBox.Controls.Add(this.refreshResultsButton);
[5269]240      this.resultsGroupBox.Controls.Add(this.runCollectionView);
241      this.resultsGroupBox.Location = new System.Drawing.Point(0, 3);
242      this.resultsGroupBox.Name = "resultsGroupBox";
[5317]243      this.resultsGroupBox.Size = new System.Drawing.Size(838, 278);
[5269]244      this.resultsGroupBox.TabIndex = 0;
245      this.resultsGroupBox.TabStop = false;
246      this.resultsGroupBox.Text = "Results";
247      //
[5612]248      // includeBinaryValuesCheckBox
249      //
250      this.includeBinaryValuesCheckBox.AutoSize = true;
251      this.includeBinaryValuesCheckBox.Checked = true;
252      this.includeBinaryValuesCheckBox.CheckState = System.Windows.Forms.CheckState.Checked;
[5902]253      this.includeBinaryValuesCheckBox.Location = new System.Drawing.Point(53, 24);
[5612]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      //
[5317]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      //
[5073]329      // QueryView
330      //
331      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
332      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
[5317]333      this.Controls.Add(this.filtersInfoPanel);
334      this.Controls.Add(this.resultsInfoPanel);
[5269]335      this.Controls.Add(this.splitContainer);
[5073]336      this.Name = "QueryView";
[5317]337      this.Size = new System.Drawing.Size(838, 567);
[5269]338      this.splitContainer.Panel1.ResumeLayout(false);
339      this.splitContainer.Panel2.ResumeLayout(false);
340      ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).EndInit();
341      this.splitContainer.ResumeLayout(false);
[7589]342      this.filterTabControl.ResumeLayout(false);
343      this.filterTabPage.ResumeLayout(false);
[5269]344      this.filtersGroupBox.ResumeLayout(false);
[7589]345      this.constraintsTabPage.ResumeLayout(false);
[5269]346      this.resultsGroupBox.ResumeLayout(false);
[5304]347      this.resultsGroupBox.PerformLayout();
[5317]348      this.resultsInfoPanel.ResumeLayout(false);
349      this.filtersInfoPanel.ResumeLayout(false);
[5073]350      this.ResumeLayout(false);
351
352    }
353
354    #endregion
355
[5295]356    private System.Windows.Forms.Button refreshResultsButton;
[5073]357    private System.Windows.Forms.ToolTip toolTip;
[5304]358    private HeuristicLab.Optimization.Views.RunCollectionView runCollectionView;
[5269]359    private System.Windows.Forms.SplitContainer splitContainer;
360    private System.Windows.Forms.GroupBox filtersGroupBox;
361    private System.Windows.Forms.GroupBox resultsGroupBox;
[5295]362    private System.Windows.Forms.Panel filterPanel;
[5317]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;
[5612]369    private System.Windows.Forms.Button refreshFiltersButton;
370    private System.Windows.Forms.CheckBox includeBinaryValuesCheckBox;
[7589]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;
[5073]377
378  }
379}
Note: See TracBrowser for help on using the repository browser.