Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
05/03/10 03:31:12 (14 years ago)
Author:
swagner
Message:

Worked on UI support for choosing generic type parameters (#42)

File:
1 edited

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs

    r2957 r3588  
    3333    protected override void Dispose(bool disposing) {
    3434      if (disposing) {
     35        if (typeSelectorDialog != null) typeSelectorDialog.Dispose();
    3536        if (components != null) components.Dispose();
    3637      }
    … …  
    4647    private void InitializeComponent() {
    4748      this.components = new System.ComponentModel.Container();
     49      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TypeSelector));
    4850      this.typesTreeView = new System.Windows.Forms.TreeView();
    4951      this.imageList = new System.Windows.Forms.ImageList(this.components);
    5052      this.typesGroupBox = new System.Windows.Forms.GroupBox();
    5153      this.splitContainer = new System.Windows.Forms.SplitContainer();
     54      this.typeParametersSplitContainer = new System.Windows.Forms.SplitContainer();
    5255      this.searchLabel = new System.Windows.Forms.Label();
    5356      this.searchTextBox = new System.Windows.Forms.TextBox();
     57      this.typeParametersGroupBox = new System.Windows.Forms.GroupBox();
     58      this.setTypeParameterButton = new System.Windows.Forms.Button();
     59      this.typeParametersListView = new System.Windows.Forms.ListView();
    5460      this.descriptionTextBox = new System.Windows.Forms.TextBox();
    5561      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
     62      this.columnHeader1 = new System.Windows.Forms.ColumnHeader();
    5663      this.typesGroupBox.SuspendLayout();
    5764      this.splitContainer.Panel1.SuspendLayout();
    5865      this.splitContainer.Panel2.SuspendLayout();
    5966      this.splitContainer.SuspendLayout();
     67      this.typeParametersSplitContainer.Panel1.SuspendLayout();
     68      this.typeParametersSplitContainer.Panel2.SuspendLayout();
     69      this.typeParametersSplitContainer.SuspendLayout();
     70      this.typeParametersGroupBox.SuspendLayout();
    6071      this.SuspendLayout();
    6172      //
    … …  
    7283      this.typesTreeView.SelectedImageIndex = 0;
    7384      this.typesTreeView.ShowNodeToolTips = true;
    74       this.typesTreeView.Size = new System.Drawing.Size(291, 166);
     85      this.typesTreeView.Size = new System.Drawing.Size(219, 287);
    7586      this.typesTreeView.TabIndex = 0;
    7687      this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged);
    … …  
    90101      this.typesGroupBox.Location = new System.Drawing.Point(0, 0);
    91102      this.typesGroupBox.Name = "typesGroupBox";
    92       this.typesGroupBox.Size = new System.Drawing.Size(303, 306);
     103      this.typesGroupBox.Size = new System.Drawing.Size(231, 614);
    93104      this.typesGroupBox.TabIndex = 0;
    94105      this.typesGroupBox.TabStop = false;
    … …  
    104115      // splitContainer.Panel1
    105116      //
    106       this.splitContainer.Panel1.Controls.Add(this.searchLabel);
    107       this.splitContainer.Panel1.Controls.Add(this.searchTextBox);
    108       this.splitContainer.Panel1.Controls.Add(this.typesTreeView);
     117      this.splitContainer.Panel1.Controls.Add(this.typeParametersSplitContainer);
    109118      //
    110119      // splitContainer.Panel2
    111120      //
    112121      this.splitContainer.Panel2.Controls.Add(this.descriptionTextBox);
    113       this.splitContainer.Size = new System.Drawing.Size(297, 287);
    114       this.splitContainer.SplitterDistance = 198;
     122      this.splitContainer.Size = new System.Drawing.Size(225, 595);
     123      this.splitContainer.SplitterDistance = 471;
    115124      this.splitContainer.TabIndex = 2;
     125      //
     126      // typeParametersSplitContainer
     127      //
     128      this.typeParametersSplitContainer.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.typeParametersSplitContainer.Location = new System.Drawing.Point(0, 0);
     132      this.typeParametersSplitContainer.Name = "typeParametersSplitContainer";
     133      this.typeParametersSplitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
     134      //
     135      // typeParametersSplitContainer.Panel1
     136      //
     137      this.typeParametersSplitContainer.Panel1.Controls.Add(this.typesTreeView);
     138      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchLabel);
     139      this.typeParametersSplitContainer.Panel1.Controls.Add(this.searchTextBox);
     140      //
     141      // typeParametersSplitContainer.Panel2
     142      //
     143      this.typeParametersSplitContainer.Panel2.Controls.Add(this.typeParametersGroupBox);
     144      this.typeParametersSplitContainer.Size = new System.Drawing.Size(225, 472);
     145      this.typeParametersSplitContainer.SplitterDistance = 319;
     146      this.typeParametersSplitContainer.TabIndex = 0;
    116147      //
    117148      // searchLabel
    … …  
    130161      this.searchTextBox.Location = new System.Drawing.Point(29, 3);
    131162      this.searchTextBox.Name = "searchTextBox";
    132       this.searchTextBox.Size = new System.Drawing.Size(265, 20);
     163      this.searchTextBox.Size = new System.Drawing.Size(193, 20);
    133164      this.searchTextBox.TabIndex = 2;
    134165      this.toolTip.SetToolTip(this.searchTextBox, "Enter string to search for types");
    135166      this.searchTextBox.TextChanged += new System.EventHandler(this.searchTextBox_TextChanged);
     167      //
     168      // typeParametersGroupBox
     169      //
     170      this.typeParametersGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     171                  | System.Windows.Forms.AnchorStyles.Left)
     172                  | System.Windows.Forms.AnchorStyles.Right)));
     173      this.typeParametersGroupBox.Controls.Add(this.setTypeParameterButton);
     174      this.typeParametersGroupBox.Controls.Add(this.typeParametersListView);
     175      this.typeParametersGroupBox.Location = new System.Drawing.Point(3, 3);
     176      this.typeParametersGroupBox.Name = "typeParametersGroupBox";
     177      this.typeParametersGroupBox.Size = new System.Drawing.Size(219, 143);
     178      this.typeParametersGroupBox.TabIndex = 0;
     179      this.typeParametersGroupBox.TabStop = false;
     180      this.typeParametersGroupBox.Text = "Type Parameters";
     181      //
     182      // setTypeParameterButton
     183      //
     184      this.setTypeParameterButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Right)));
     185      this.setTypeParameterButton.Enabled = false;
     186      this.setTypeParameterButton.Image = HeuristicLab.Common.Resources.VS2008ImageLibrary.Edit;
     187      this.setTypeParameterButton.Location = new System.Drawing.Point(189, 19);
     188      this.setTypeParameterButton.Name = "setTypeParameterButton";
     189      this.setTypeParameterButton.Size = new System.Drawing.Size(24, 24);
     190      this.setTypeParameterButton.TabIndex = 1;
     191      this.toolTip.SetToolTip(this.setTypeParameterButton, "Set Type Parameter");
     192      this.setTypeParameterButton.UseVisualStyleBackColor = true;
     193      this.setTypeParameterButton.Click += new System.EventHandler(this.setTypeParameterButton_Click);
     194      //
     195      // typeParametersListView
     196      //
     197      this.typeParametersListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
     198                  | System.Windows.Forms.AnchorStyles.Left)
     199                  | System.Windows.Forms.AnchorStyles.Right)));
     200      this.typeParametersListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
     201            this.columnHeader1});
     202      this.typeParametersListView.FullRowSelect = true;
     203      this.typeParametersListView.HeaderStyle = System.Windows.Forms.ColumnHeaderStyle.None;
     204      this.typeParametersListView.Location = new System.Drawing.Point(6, 19);
     205      this.typeParametersListView.MultiSelect = false;
     206      this.typeParametersListView.Name = "typeParametersListView";
     207      this.typeParametersListView.ShowItemToolTips = true;
     208      this.typeParametersListView.Size = new System.Drawing.Size(177, 118);
     209      this.typeParametersListView.TabIndex = 0;
     210      this.typeParametersListView.UseCompatibleStateImageBehavior = false;
     211      this.typeParametersListView.View = System.Windows.Forms.View.Details;
     212      this.typeParametersListView.SelectedIndexChanged += new System.EventHandler(this.typeParametersListView_SelectedIndexChanged);
     213      this.typeParametersListView.DoubleClick += new System.EventHandler(this.typeParametersListView_DoubleClick);
    136214      //
    137215      // descriptionTextBox
    … …  
    146224      this.descriptionTextBox.ReadOnly = true;
    147225      this.descriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
    148       this.descriptionTextBox.Size = new System.Drawing.Size(291, 79);
     226      this.descriptionTextBox.Size = new System.Drawing.Size(219, 114);
    149227      this.descriptionTextBox.TabIndex = 0;
    150228      //
    … …  
    155233      this.Controls.Add(this.typesGroupBox);
    156234      this.Name = "TypeSelector";
    157       this.Size = new System.Drawing.Size(303, 306);
     235      this.Size = new System.Drawing.Size(231, 614);
    158236      this.typesGroupBox.ResumeLayout(false);
    159237      this.splitContainer.Panel1.ResumeLayout(false);
    160       this.splitContainer.Panel1.PerformLayout();
    161238      this.splitContainer.Panel2.ResumeLayout(false);
    162239      this.splitContainer.Panel2.PerformLayout();
    163240      this.splitContainer.ResumeLayout(false);
     241      this.typeParametersSplitContainer.Panel1.ResumeLayout(false);
     242      this.typeParametersSplitContainer.Panel1.PerformLayout();
     243      this.typeParametersSplitContainer.Panel2.ResumeLayout(false);
     244      this.typeParametersSplitContainer.ResumeLayout(false);
     245      this.typeParametersGroupBox.ResumeLayout(false);
    164246      this.ResumeLayout(false);
    165247
    … …  
    176258    protected System.Windows.Forms.TextBox searchTextBox;
    177259    protected System.Windows.Forms.ToolTip toolTip;
     260    protected System.Windows.Forms.SplitContainer typeParametersSplitContainer;
     261    protected System.Windows.Forms.GroupBox typeParametersGroupBox;
     262    protected System.Windows.Forms.ListView typeParametersListView;
     263    protected System.Windows.Forms.Button setTypeParameterButton;
     264    protected System.Windows.Forms.ColumnHeader columnHeader1;
    178265
    179266  }
Note: See TracChangeset for help on using the changeset viewer.