- Timestamp:
- 07/10/15 12:11:55 (9 years ago)
- Location:
- stable
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
stable
- Property svn:mergeinfo changed
/trunk/sources merged: 12305,12393,12397-12401,12504,12506,12512,12622,12649,12664
- Property svn:mergeinfo changed
-
stable/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs
r12009 r12708 42 42 this.searchLabel = new System.Windows.Forms.Label(); 43 43 this.searchTextBox = new System.Windows.Forms.TextBox(); 44 this.clearSearchButton = new System.Windows.Forms.Button(); 45 this.contextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components); 46 this.expandToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); 47 this.expandAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); 48 this.collapseToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); 49 this.collapseAllToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem(); 44 50 this.typeParametersGroupBox = new System.Windows.Forms.GroupBox(); 45 51 this.setTypeParameterButton = new System.Windows.Forms.Button(); … … 56 62 this.typeParametersSplitContainer.SuspendLayout(); 57 63 this.typeParametersGroupBox.SuspendLayout(); 64 this.contextMenuStrip.SuspendLayout(); 58 65 this.SuspendLayout(); 59 66 // … … 75 82 this.typesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.typesTreeView_AfterSelect); 76 83 this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged); 84 this.typesTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.typesTreeView_MouseDown); 77 85 // 78 86 // imageList … … 146 154 this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 147 155 | System.Windows.Forms.AnchorStyles.Right))); 156 this.searchTextBox.Controls.Add(this.clearSearchButton); 148 157 this.searchTextBox.Location = new System.Drawing.Point(29, 3); 149 158 this.searchTextBox.Name = "searchTextBox"; 150 159 this.searchTextBox.Size = new System.Drawing.Size(193, 20); 151 160 this.searchTextBox.TabIndex = 1; 152 this.toolTip.SetToolTip(this.searchTextBox, "Enter string to search for types"); 161 this.toolTip.SetToolTip(this.searchTextBox, "Filters the available Types.\r\nThe search term is tokenized by space and a name ha" + 162 "s to contain all tokens to be displayed.\r\n(E.g. \"Sym Reg\" matches \"SymbolicRegr" + 163 "ession\")"); 153 164 this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged); 165 this.searchTextBox.KeyDown += new System.Windows.Forms.KeyEventHandler(this.searchTextBox_KeyDown); 166 // 167 // clearSearchButton 168 // 169 this.clearSearchButton.BackColor = System.Drawing.Color.Transparent; 170 this.clearSearchButton.Cursor = System.Windows.Forms.Cursors.Default; 171 this.clearSearchButton.Dock = System.Windows.Forms.DockStyle.Right; 172 this.clearSearchButton.FlatAppearance.BorderSize = 0; 173 this.clearSearchButton.FlatStyle = System.Windows.Forms.FlatStyle.Flat; 174 this.clearSearchButton.ForeColor = System.Drawing.Color.Transparent; 175 this.clearSearchButton.Image = HeuristicLab.Common.Resources.VSImageLibrary.Delete; 176 this.clearSearchButton.Location = new System.Drawing.Point(543, 0); 177 this.clearSearchButton.Margin = new System.Windows.Forms.Padding(0); 178 this.clearSearchButton.Name = "clearSearchButton"; 179 this.clearSearchButton.Size = new System.Drawing.Size(15, 16); 180 this.clearSearchButton.TabIndex = 0; 181 this.clearSearchButton.TabStop = false; 182 this.clearSearchButton.UseVisualStyleBackColor = false; 183 this.clearSearchButton.Click += new System.EventHandler(this.clearSearchButton_Click); 154 184 // 155 185 // typeParametersGroupBox … … 213 243 this.descriptionTextBox.Size = new System.Drawing.Size(219, 114); 214 244 this.descriptionTextBox.TabIndex = 0; 245 // 246 // contextMenuStrip 247 // 248 this.contextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] { 249 this.expandToolStripMenuItem, 250 this.expandAllToolStripMenuItem, 251 this.collapseToolStripMenuItem, 252 this.collapseAllToolStripMenuItem}); 253 this.contextMenuStrip.Name = "contextMenuStrip"; 254 this.contextMenuStrip.Size = new System.Drawing.Size(137, 92); 255 // 256 // expandToolStripMenuItem 257 // 258 this.expandToolStripMenuItem.Name = "expandToolStripMenuItem"; 259 this.expandToolStripMenuItem.Size = new System.Drawing.Size(136, 22); 260 this.expandToolStripMenuItem.Text = "Expand"; 261 this.expandToolStripMenuItem.Click += new System.EventHandler(this.expandToolStripMenuItem_Click); 262 // 263 // expandAllToolStripMenuItem 264 // 265 this.expandAllToolStripMenuItem.Name = "expandAllToolStripMenuItem"; 266 this.expandAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22); 267 this.expandAllToolStripMenuItem.Text = "Expand All"; 268 this.expandAllToolStripMenuItem.Click += new System.EventHandler(this.expandAllToolStripMenuItem_Click); 269 // 270 // collapseToolStripMenuItem 271 // 272 this.collapseToolStripMenuItem.Name = "collapseToolStripMenuItem"; 273 this.collapseToolStripMenuItem.Size = new System.Drawing.Size(136, 22); 274 this.collapseToolStripMenuItem.Text = "Collapse"; 275 this.collapseToolStripMenuItem.Click += new System.EventHandler(this.collapseToolStripMenuItem_Click); 276 // 277 // collapseAllToolStripMenuItem 278 // 279 this.collapseAllToolStripMenuItem.Name = "collapseAllToolStripMenuItem"; 280 this.collapseAllToolStripMenuItem.Size = new System.Drawing.Size(136, 22); 281 this.collapseAllToolStripMenuItem.Text = "Collapse All"; 282 this.collapseAllToolStripMenuItem.Click += new System.EventHandler(this.collapseAllToolStripMenuItem_Click); 215 283 // 216 284 // TypeSelector … … 231 299 this.typeParametersSplitContainer.ResumeLayout(false); 232 300 this.typeParametersGroupBox.ResumeLayout(false); 301 this.contextMenuStrip.ResumeLayout(false); 233 302 this.ResumeLayout(false); 234 303 … … 244 313 protected System.Windows.Forms.Label searchLabel; 245 314 protected System.Windows.Forms.TextBox searchTextBox; 315 protected System.Windows.Forms.Button clearSearchButton; 246 316 protected System.Windows.Forms.ToolTip toolTip; 317 protected System.Windows.Forms.ContextMenuStrip contextMenuStrip; 318 protected System.Windows.Forms.ToolStripMenuItem expandToolStripMenuItem; 319 protected System.Windows.Forms.ToolStripMenuItem expandAllToolStripMenuItem; 320 protected System.Windows.Forms.ToolStripMenuItem collapseToolStripMenuItem; 321 protected System.Windows.Forms.ToolStripMenuItem collapseAllToolStripMenuItem; 247 322 protected System.Windows.Forms.SplitContainer typeParametersSplitContainer; 248 323 protected System.Windows.Forms.GroupBox typeParametersGroupBox; … … 250 325 protected System.Windows.Forms.Button setTypeParameterButton; 251 326 protected System.Windows.Forms.ColumnHeader columnHeader1; 252 253 327 } 254 328 }
Note: See TracChangeset
for help on using the changeset viewer.