- Timestamp:
- 01/14/11 05:34:43 (13 years ago)
- Location:
- branches/OKB
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
branches/OKB
- Property svn:ignore
-
old new 1 1 *.suo 2 TestResults
-
- Property svn:ignore
-
branches/OKB/HeuristicLab.Clients.OKB-3.3/Views/QueryView.Designer.cs
r5289 r5295 46 46 private void InitializeComponent() { 47 47 this.components = new System.ComponentModel.Container(); 48 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(QueryView)); 49 this.refreshButton = new System.Windows.Forms.Button(); 48 this.refreshResultsButton = new System.Windows.Forms.Button(); 50 49 this.toolTip = new System.Windows.Forms.ToolTip(this.components); 51 50 this.showRunsButton = new System.Windows.Forms.Button(); … … 54 53 this.filtersGroupBox = new System.Windows.Forms.GroupBox(); 55 54 this.resultsGroupBox = new System.Windows.Forms.GroupBox(); 56 this.andFilterView = new HeuristicLab.Clients.OKB.AndFilterView(); 55 this.nrOfRunsButton = new System.Windows.Forms.Button(); 56 this.filterPanel = new System.Windows.Forms.Panel(); 57 57 ((System.ComponentModel.ISupportInitialize)(this.splitContainer)).BeginInit(); 58 58 this.splitContainer.Panel1.SuspendLayout(); … … 63 63 this.SuspendLayout(); 64 64 // 65 // refresh Button65 // refreshResultsButton 66 66 // 67 this.refresh Button.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh;68 this.refresh Button.Location = new System.Drawing.Point(6, 19);69 this.refresh Button.Name = "refreshButton";70 this.refresh Button.Size = new System.Drawing.Size(24, 24);71 this.refresh Button.TabIndex = 0;72 this.toolTip.SetToolTip(this.refresh Button, "Refresh Data");73 this.refresh Button.UseVisualStyleBackColor = true;74 this.refresh Button.Click += new System.EventHandler(this.refreshButton_Click);67 this.refreshResultsButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Refresh; 68 this.refreshResultsButton.Location = new System.Drawing.Point(6, 19); 69 this.refreshResultsButton.Name = "refreshResultsButton"; 70 this.refreshResultsButton.Size = new System.Drawing.Size(24, 24); 71 this.refreshResultsButton.TabIndex = 0; 72 this.toolTip.SetToolTip(this.refreshResultsButton, "Refresh Results"); 73 this.refreshResultsButton.UseVisualStyleBackColor = true; 74 this.refreshResultsButton.Click += new System.EventHandler(this.refreshResultsButton_Click); 75 75 // 76 76 // showRunsButton … … 122 122 | System.Windows.Forms.AnchorStyles.Left) 123 123 | System.Windows.Forms.AnchorStyles.Right))); 124 this.filtersGroupBox.Controls.Add(this. andFilterView);124 this.filtersGroupBox.Controls.Add(this.filterPanel); 125 125 this.filtersGroupBox.Location = new System.Drawing.Point(0, 0); 126 126 this.filtersGroupBox.Name = "filtersGroupBox"; … … 135 135 | System.Windows.Forms.AnchorStyles.Left) 136 136 | System.Windows.Forms.AnchorStyles.Right))); 137 this.resultsGroupBox.Controls.Add(this.refreshButton); 137 this.resultsGroupBox.Controls.Add(this.nrOfRunsButton); 138 this.resultsGroupBox.Controls.Add(this.refreshResultsButton); 138 139 this.resultsGroupBox.Controls.Add(this.runCollectionView); 139 140 this.resultsGroupBox.Controls.Add(this.showRunsButton); … … 145 146 this.resultsGroupBox.Text = "Results"; 146 147 // 147 // andFilterView148 // nrOfRunsButton 148 149 // 149 this.andFilterView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 150 this.nrOfRunsButton.Location = new System.Drawing.Point(117, 19); 151 this.nrOfRunsButton.Name = "nrOfRunsButton"; 152 this.nrOfRunsButton.Size = new System.Drawing.Size(75, 23); 153 this.nrOfRunsButton.TabIndex = 3; 154 this.nrOfRunsButton.Text = "No. of Runs"; 155 this.nrOfRunsButton.UseVisualStyleBackColor = true; 156 this.nrOfRunsButton.Click += new System.EventHandler(this.nrOfRunsButton_Click); 157 // 158 // filterPanel 159 // 160 this.filterPanel.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 150 161 | System.Windows.Forms.AnchorStyles.Left) 151 162 | System.Windows.Forms.AnchorStyles.Right))); 152 this.andFilterView.Caption = "AndFilter View"; 153 this.andFilterView.Content = null; 154 this.andFilterView.Location = new System.Drawing.Point(6, 19); 155 this.andFilterView.Name = "andFilterView"; 156 this.andFilterView.ReadOnly = false; 157 this.andFilterView.Size = new System.Drawing.Size(722, 189); 158 this.andFilterView.TabIndex = 0; 163 this.filterPanel.Location = new System.Drawing.Point(6, 19); 164 this.filterPanel.Name = "filterPanel"; 165 this.filterPanel.Size = new System.Drawing.Size(722, 189); 166 this.filterPanel.TabIndex = 0; 159 167 // 160 168 // QueryView … … 177 185 #endregion 178 186 179 private System.Windows.Forms.Button refresh Button;187 private System.Windows.Forms.Button refreshResultsButton; 180 188 private System.Windows.Forms.ToolTip toolTip; 181 189 private RunCollectionView runCollectionView; … … 184 192 private System.Windows.Forms.GroupBox filtersGroupBox; 185 193 private System.Windows.Forms.GroupBox resultsGroupBox; 186 private AndFilterView andFilterView; 194 private System.Windows.Forms.Button nrOfRunsButton; 195 private System.Windows.Forms.Panel filterPanel; 187 196 188 197 }
Note: See TracChangeset
for help on using the changeset viewer.