Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
07/10/15 12:11:55 (9 years ago)
Author:
mkommend
Message:

#2025:Merged all changes regarding the new item dialog into stable.
#2387: Merged all changes regarding the type selector into stable.

Location:
stable
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • stable

  • stable/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs

    r12009 r12708  
    4242      this.searchLabel = new System.Windows.Forms.Label();
    4343      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();
    4450      this.typeParametersGroupBox = new System.Windows.Forms.GroupBox();
    4551      this.setTypeParameterButton = new System.Windows.Forms.Button();
     
    5662      this.typeParametersSplitContainer.SuspendLayout();
    5763      this.typeParametersGroupBox.SuspendLayout();
     64      this.contextMenuStrip.SuspendLayout();
    5865      this.SuspendLayout();
    5966      //
     
    7582      this.typesTreeView.AfterSelect += new System.Windows.Forms.TreeViewEventHandler(this.typesTreeView_AfterSelect);
    7683      this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged);
     84      this.typesTreeView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.typesTreeView_MouseDown);
    7785      //
    7886      // imageList
     
    146154      this.searchTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
    147155                  | System.Windows.Forms.AnchorStyles.Right)));
     156      this.searchTextBox.Controls.Add(this.clearSearchButton);
    148157      this.searchTextBox.Location = new System.Drawing.Point(29, 3);
    149158      this.searchTextBox.Name = "searchTextBox";
    150159      this.searchTextBox.Size = new System.Drawing.Size(193, 20);
    151160      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\")");
    153164      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);
    154184      //
    155185      // typeParametersGroupBox
     
    213243      this.descriptionTextBox.Size = new System.Drawing.Size(219, 114);
    214244      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);
    215283      //
    216284      // TypeSelector
     
    231299      this.typeParametersSplitContainer.ResumeLayout(false);
    232300      this.typeParametersGroupBox.ResumeLayout(false);
     301      this.contextMenuStrip.ResumeLayout(false);
    233302      this.ResumeLayout(false);
    234303
     
    244313    protected System.Windows.Forms.Label searchLabel;
    245314    protected System.Windows.Forms.TextBox searchTextBox;
     315    protected System.Windows.Forms.Button clearSearchButton;
    246316    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;
    247322    protected System.Windows.Forms.SplitContainer typeParametersSplitContainer;
    248323    protected System.Windows.Forms.GroupBox typeParametersGroupBox;
     
    250325    protected System.Windows.Forms.Button setTypeParameterButton;
    251326    protected System.Windows.Forms.ColumnHeader columnHeader1;
    252 
    253327  }
    254328}
Note: See TracChangeset for help on using the changeset viewer.