- Timestamp:
- 05/03/10 03:31:12 (14 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.Core.Views/3.3/TypeSelector.Designer.cs
r2957 r3588 33 33 protected override void Dispose(bool disposing) { 34 34 if (disposing) { 35 if (typeSelectorDialog != null) typeSelectorDialog.Dispose(); 35 36 if (components != null) components.Dispose(); 36 37 } … … 46 47 private void InitializeComponent() { 47 48 this.components = new System.ComponentModel.Container(); 49 System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(TypeSelector)); 48 50 this.typesTreeView = new System.Windows.Forms.TreeView(); 49 51 this.imageList = new System.Windows.Forms.ImageList(this.components); 50 52 this.typesGroupBox = new System.Windows.Forms.GroupBox(); 51 53 this.splitContainer = new System.Windows.Forms.SplitContainer(); 54 this.typeParametersSplitContainer = new System.Windows.Forms.SplitContainer(); 52 55 this.searchLabel = new System.Windows.Forms.Label(); 53 56 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(); 54 60 this.descriptionTextBox = new System.Windows.Forms.TextBox(); 55 61 this.toolTip = new System.Windows.Forms.ToolTip(this.components); 62 this.columnHeader1 = new System.Windows.Forms.ColumnHeader(); 56 63 this.typesGroupBox.SuspendLayout(); 57 64 this.splitContainer.Panel1.SuspendLayout(); 58 65 this.splitContainer.Panel2.SuspendLayout(); 59 66 this.splitContainer.SuspendLayout(); 67 this.typeParametersSplitContainer.Panel1.SuspendLayout(); 68 this.typeParametersSplitContainer.Panel2.SuspendLayout(); 69 this.typeParametersSplitContainer.SuspendLayout(); 70 this.typeParametersGroupBox.SuspendLayout(); 60 71 this.SuspendLayout(); 61 72 // … … 72 83 this.typesTreeView.SelectedImageIndex = 0; 73 84 this.typesTreeView.ShowNodeToolTips = true; 74 this.typesTreeView.Size = new System.Drawing.Size(2 91, 166);85 this.typesTreeView.Size = new System.Drawing.Size(219, 287); 75 86 this.typesTreeView.TabIndex = 0; 76 87 this.typesTreeView.VisibleChanged += new System.EventHandler(this.typesTreeView_VisibleChanged); … … 90 101 this.typesGroupBox.Location = new System.Drawing.Point(0, 0); 91 102 this.typesGroupBox.Name = "typesGroupBox"; 92 this.typesGroupBox.Size = new System.Drawing.Size( 303, 306);103 this.typesGroupBox.Size = new System.Drawing.Size(231, 614); 93 104 this.typesGroupBox.TabIndex = 0; 94 105 this.typesGroupBox.TabStop = false; … … 104 115 // splitContainer.Panel1 105 116 // 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); 109 118 // 110 119 // splitContainer.Panel2 111 120 // 112 121 this.splitContainer.Panel2.Controls.Add(this.descriptionTextBox); 113 this.splitContainer.Size = new System.Drawing.Size(2 97, 287);114 this.splitContainer.SplitterDistance = 198;122 this.splitContainer.Size = new System.Drawing.Size(225, 595); 123 this.splitContainer.SplitterDistance = 471; 115 124 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; 116 147 // 117 148 // searchLabel … … 130 161 this.searchTextBox.Location = new System.Drawing.Point(29, 3); 131 162 this.searchTextBox.Name = "searchTextBox"; 132 this.searchTextBox.Size = new System.Drawing.Size( 265, 20);163 this.searchTextBox.Size = new System.Drawing.Size(193, 20); 133 164 this.searchTextBox.TabIndex = 2; 134 165 this.toolTip.SetToolTip(this.searchTextBox, "Enter string to search for types"); 135 166 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); 136 214 // 137 215 // descriptionTextBox … … 146 224 this.descriptionTextBox.ReadOnly = true; 147 225 this.descriptionTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical; 148 this.descriptionTextBox.Size = new System.Drawing.Size(2 91, 79);226 this.descriptionTextBox.Size = new System.Drawing.Size(219, 114); 149 227 this.descriptionTextBox.TabIndex = 0; 150 228 // … … 155 233 this.Controls.Add(this.typesGroupBox); 156 234 this.Name = "TypeSelector"; 157 this.Size = new System.Drawing.Size( 303, 306);235 this.Size = new System.Drawing.Size(231, 614); 158 236 this.typesGroupBox.ResumeLayout(false); 159 237 this.splitContainer.Panel1.ResumeLayout(false); 160 this.splitContainer.Panel1.PerformLayout();161 238 this.splitContainer.Panel2.ResumeLayout(false); 162 239 this.splitContainer.Panel2.PerformLayout(); 163 240 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); 164 246 this.ResumeLayout(false); 165 247 … … 176 258 protected System.Windows.Forms.TextBox searchTextBox; 177 259 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; 178 265 179 266 }
Note: See TracChangeset
for help on using the changeset viewer.