- Timestamp:
- 03/24/10 19:33:44 (15 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/sources/HeuristicLab.PluginAdministrator/3.3/ProductEditor.Designer.cs
r3179 r3208 47 47 this.components = new System.ComponentModel.Container(); 48 48 this.refreshButton = new System.Windows.Forms.Button(); 49 this. saveButton = new System.Windows.Forms.Button();49 this.uploadButton = new System.Windows.Forms.Button(); 50 50 this.newProductButton = new System.Windows.Forms.Button(); 51 51 this.splitContainer = new System.Windows.Forms.SplitContainer(); 52 this.productsGroupBox = new System.Windows.Forms.GroupBox(); 52 53 this.productsListView = new System.Windows.Forms.ListView(); 53 54 this.productNameHeader = new System.Windows.Forms.ColumnHeader(); 54 55 this.productVersionHeader = new System.Windows.Forms.ColumnHeader(); 55 56 this.productImageList = new System.Windows.Forms.ImageList(this.components); 57 this.detailsGroupBox = new System.Windows.Forms.GroupBox(); 58 this.pluginsGroupBox = new System.Windows.Forms.GroupBox(); 56 59 this.pluginListView = new HeuristicLab.PluginAdministrator.PluginListView(); 57 this.pluginsLabel = new System.Windows.Forms.Label();58 60 this.versionTextBox = new System.Windows.Forms.TextBox(); 61 this.nameLabel = new System.Windows.Forms.Label(); 62 this.nameTextBox = new System.Windows.Forms.TextBox(); 59 63 this.versionLabel = new System.Windows.Forms.Label(); 60 this.nameTextBox = new System.Windows.Forms.TextBox();61 this.nameLabel = new System.Windows.Forms.Label();62 64 this.pluginImageList = new System.Windows.Forms.ImageList(this.components); 63 65 this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components); … … 65 67 this.splitContainer.Panel2.SuspendLayout(); 66 68 this.splitContainer.SuspendLayout(); 69 this.productsGroupBox.SuspendLayout(); 70 this.detailsGroupBox.SuspendLayout(); 71 this.pluginsGroupBox.SuspendLayout(); 67 72 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit(); 68 73 this.SuspendLayout(); … … 70 75 // refreshButton 71 76 // 72 this.refreshButton.Location = new System.Drawing.Point( 3, 3);77 this.refreshButton.Location = new System.Drawing.Point(6, 19); 73 78 this.refreshButton.Name = "refreshButton"; 74 79 this.refreshButton.Size = new System.Drawing.Size(75, 23); … … 78 83 this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click); 79 84 // 80 // saveButton81 // 82 this. saveButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));83 this. saveButton.Enabled = false;84 this. saveButton.Location = new System.Drawing.Point(3, 365);85 this. saveButton.Name = "saveButton";86 this. saveButton.Size = new System.Drawing.Size(96, 23);87 this. saveButton.TabIndex = 2;88 this. saveButton.Text = "Upload Products";89 this. saveButton.UseVisualStyleBackColor = true;90 this. saveButton.Click += new System.EventHandler(this.saveButton_Click);85 // uploadButton 86 // 87 this.uploadButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left))); 88 this.uploadButton.Enabled = false; 89 this.uploadButton.Location = new System.Drawing.Point(6, 397); 90 this.uploadButton.Name = "uploadButton"; 91 this.uploadButton.Size = new System.Drawing.Size(96, 23); 92 this.uploadButton.TabIndex = 2; 93 this.uploadButton.Text = "Upload Products"; 94 this.uploadButton.UseVisualStyleBackColor = true; 95 this.uploadButton.Click += new System.EventHandler(this.saveButton_Click); 91 96 // 92 97 // newProductButton 93 98 // 94 99 this.newProductButton.Enabled = false; 95 this.newProductButton.Location = new System.Drawing.Point(8 4, 3);100 this.newProductButton.Location = new System.Drawing.Point(87, 19); 96 101 this.newProductButton.Name = "newProductButton"; 97 102 this.newProductButton.Size = new System.Drawing.Size(91, 23); … … 103 108 // splitContainer 104 109 // 105 this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 106 | System.Windows.Forms.AnchorStyles.Left) 107 | System.Windows.Forms.AnchorStyles.Right))); 108 this.splitContainer.Location = new System.Drawing.Point(3, 32); 110 this.splitContainer.Dock = System.Windows.Forms.DockStyle.Fill; 111 this.splitContainer.Location = new System.Drawing.Point(0, 0); 109 112 this.splitContainer.Name = "splitContainer"; 110 113 // 111 114 // splitContainer.Panel1 112 115 // 113 this.splitContainer.Panel1.Controls.Add(this.productsListView); 114 this.splitContainer.Panel1.Controls.Add(this.saveButton); 116 this.splitContainer.Panel1.Controls.Add(this.productsGroupBox); 115 117 // 116 118 // splitContainer.Panel2 117 119 // 118 this.splitContainer.Panel2.Controls.Add(this.pluginListView); 119 this.splitContainer.Panel2.Controls.Add(this.pluginsLabel); 120 this.splitContainer.Panel2.Controls.Add(this.versionTextBox); 121 this.splitContainer.Panel2.Controls.Add(this.versionLabel); 122 this.splitContainer.Panel2.Controls.Add(this.nameTextBox); 123 this.splitContainer.Panel2.Controls.Add(this.nameLabel); 124 this.splitContainer.Size = new System.Drawing.Size(659, 391); 125 this.splitContainer.SplitterDistance = 319; 120 this.splitContainer.Panel2.Controls.Add(this.detailsGroupBox); 121 this.splitContainer.Size = new System.Drawing.Size(665, 426); 122 this.splitContainer.SplitterDistance = 321; 126 123 this.splitContainer.TabIndex = 4; 124 // 125 // productsGroupBox 126 // 127 this.productsGroupBox.Controls.Add(this.uploadButton); 128 this.productsGroupBox.Controls.Add(this.newProductButton); 129 this.productsGroupBox.Controls.Add(this.productsListView); 130 this.productsGroupBox.Controls.Add(this.refreshButton); 131 this.productsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill; 132 this.productsGroupBox.Location = new System.Drawing.Point(0, 0); 133 this.productsGroupBox.Name = "productsGroupBox"; 134 this.productsGroupBox.Size = new System.Drawing.Size(321, 426); 135 this.productsGroupBox.TabIndex = 5; 136 this.productsGroupBox.TabStop = false; 137 this.productsGroupBox.Text = "Products"; 127 138 // 128 139 // productsListView … … 136 147 this.productsListView.Enabled = false; 137 148 this.productsListView.FullRowSelect = true; 138 this.productsListView.Location = new System.Drawing.Point( 3, 3);149 this.productsListView.Location = new System.Drawing.Point(6, 48); 139 150 this.productsListView.MultiSelect = false; 140 151 this.productsListView.Name = "productsListView"; 141 this.productsListView.Size = new System.Drawing.Size(3 13, 356);152 this.productsListView.Size = new System.Drawing.Size(309, 343); 142 153 this.productsListView.SmallImageList = this.productImageList; 143 154 this.productsListView.TabIndex = 4; … … 149 160 // 150 161 this.productNameHeader.Text = "Name"; 151 this.productNameHeader.Width = 150;162 this.productNameHeader.Width = 40; 152 163 // 153 164 // productVersionHeader 154 165 // 155 166 this.productVersionHeader.Text = "Version"; 156 this.productVersionHeader.Width = 100;167 this.productVersionHeader.Width = 265; 157 168 // 158 169 // productImageList … … 162 173 this.productImageList.TransparentColor = System.Drawing.Color.Transparent; 163 174 // 164 // pluginListView 165 // 166 this.pluginListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 175 // detailsGroupBox 176 // 177 this.detailsGroupBox.Controls.Add(this.pluginsGroupBox); 178 this.detailsGroupBox.Controls.Add(this.versionTextBox); 179 this.detailsGroupBox.Controls.Add(this.nameLabel); 180 this.detailsGroupBox.Controls.Add(this.nameTextBox); 181 this.detailsGroupBox.Controls.Add(this.versionLabel); 182 this.detailsGroupBox.Dock = System.Windows.Forms.DockStyle.Fill; 183 this.detailsGroupBox.Location = new System.Drawing.Point(0, 0); 184 this.detailsGroupBox.Name = "detailsGroupBox"; 185 this.detailsGroupBox.Size = new System.Drawing.Size(340, 426); 186 this.detailsGroupBox.TabIndex = 8; 187 this.detailsGroupBox.TabStop = false; 188 this.detailsGroupBox.Text = "Details"; 189 // 190 // pluginsGroupBox 191 // 192 this.pluginsGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom) 167 193 | System.Windows.Forms.AnchorStyles.Left) 168 194 | System.Windows.Forms.AnchorStyles.Right))); 195 this.pluginsGroupBox.Controls.Add(this.pluginListView); 196 this.pluginsGroupBox.Location = new System.Drawing.Point(6, 71); 197 this.pluginsGroupBox.Name = "pluginsGroupBox"; 198 this.pluginsGroupBox.Size = new System.Drawing.Size(328, 349); 199 this.pluginsGroupBox.TabIndex = 6; 200 this.pluginsGroupBox.TabStop = false; 201 this.pluginsGroupBox.Text = "Plugins"; 202 // 203 // pluginListView 204 // 205 this.pluginListView.Dock = System.Windows.Forms.DockStyle.Fill; 169 206 this.pluginListView.Enabled = false; 170 this.pluginListView.Location = new System.Drawing.Point(3, 85);207 this.pluginListView.Location = new System.Drawing.Point(3, 16); 171 208 this.pluginListView.Name = "pluginListView"; 172 209 this.pluginListView.Plugins = null; 173 this.pluginListView.Size = new System.Drawing.Size(3 30, 303);210 this.pluginListView.Size = new System.Drawing.Size(322, 330); 174 211 this.pluginListView.TabIndex = 7; 175 212 this.pluginListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.pluginListView_ItemChecked); 176 //177 // pluginsLabel178 //179 this.pluginsLabel.AutoSize = true;180 this.pluginsLabel.Location = new System.Drawing.Point(11, 69);181 this.pluginsLabel.Name = "pluginsLabel";182 this.pluginsLabel.Size = new System.Drawing.Size(44, 13);183 this.pluginsLabel.TabIndex = 6;184 this.pluginsLabel.Text = "Plugins:";185 213 // 186 214 // versionTextBox … … 189 217 | System.Windows.Forms.AnchorStyles.Right))); 190 218 this.versionTextBox.Enabled = false; 191 this.versionTextBox.Location = new System.Drawing.Point( 68, 29);219 this.versionTextBox.Location = new System.Drawing.Point(57, 45); 192 220 this.versionTextBox.Name = "versionTextBox"; 193 this.versionTextBox.Size = new System.Drawing.Size(2 33, 20);221 this.versionTextBox.Size = new System.Drawing.Size(277, 20); 194 222 this.versionTextBox.TabIndex = 5; 195 223 this.versionTextBox.TextChanged += new System.EventHandler(this.versionTextBox_TextChanged); 196 224 // 225 // nameLabel 226 // 227 this.nameLabel.AutoSize = true; 228 this.nameLabel.Enabled = false; 229 this.nameLabel.Location = new System.Drawing.Point(13, 22); 230 this.nameLabel.Name = "nameLabel"; 231 this.nameLabel.Size = new System.Drawing.Size(38, 13); 232 this.nameLabel.TabIndex = 2; 233 this.nameLabel.Text = "Name:"; 234 // 235 // nameTextBox 236 // 237 this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left) 238 | System.Windows.Forms.AnchorStyles.Right))); 239 this.nameTextBox.Enabled = false; 240 this.nameTextBox.Location = new System.Drawing.Point(57, 19); 241 this.nameTextBox.Name = "nameTextBox"; 242 this.nameTextBox.Size = new System.Drawing.Size(277, 20); 243 this.nameTextBox.TabIndex = 3; 244 this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged); 245 // 197 246 // versionLabel 198 247 // 199 248 this.versionLabel.AutoSize = true; 200 249 this.versionLabel.Enabled = false; 201 this.versionLabel.Location = new System.Drawing.Point( 10, 32);250 this.versionLabel.Location = new System.Drawing.Point(6, 48); 202 251 this.versionLabel.Name = "versionLabel"; 203 252 this.versionLabel.Size = new System.Drawing.Size(45, 13); … … 205 254 this.versionLabel.Text = "Version:"; 206 255 // 207 // nameTextBox208 //209 this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)210 | System.Windows.Forms.AnchorStyles.Right)));211 this.nameTextBox.Enabled = false;212 this.nameTextBox.Location = new System.Drawing.Point(68, 3);213 this.nameTextBox.Name = "nameTextBox";214 this.nameTextBox.Size = new System.Drawing.Size(233, 20);215 this.nameTextBox.TabIndex = 3;216 this.nameTextBox.TextChanged += new System.EventHandler(this.nameTextBox_TextChanged);217 //218 // nameLabel219 //220 this.nameLabel.AutoSize = true;221 this.nameLabel.Enabled = false;222 this.nameLabel.Location = new System.Drawing.Point(17, 6);223 this.nameLabel.Name = "nameLabel";224 this.nameLabel.Size = new System.Drawing.Size(38, 13);225 this.nameLabel.TabIndex = 2;226 this.nameLabel.Text = "Name:";227 //228 256 // pluginImageList 229 257 // … … 241 269 this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font; 242 270 this.Controls.Add(this.splitContainer); 243 this.Controls.Add(this.newProductButton);244 this.Controls.Add(this.refreshButton);245 271 this.Name = "ProductEditor"; 246 272 this.Size = new System.Drawing.Size(665, 426); 247 273 this.splitContainer.Panel1.ResumeLayout(false); 248 274 this.splitContainer.Panel2.ResumeLayout(false); 249 this.splitContainer.Panel2.PerformLayout();250 275 this.splitContainer.ResumeLayout(false); 276 this.productsGroupBox.ResumeLayout(false); 277 this.detailsGroupBox.ResumeLayout(false); 278 this.detailsGroupBox.PerformLayout(); 279 this.pluginsGroupBox.ResumeLayout(false); 251 280 ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit(); 252 281 this.ResumeLayout(false); … … 257 286 258 287 private System.Windows.Forms.Button refreshButton; 259 private System.Windows.Forms.Button saveButton;288 private System.Windows.Forms.Button uploadButton; 260 289 private System.Windows.Forms.Button newProductButton; 261 290 private System.Windows.Forms.SplitContainer splitContainer; 262 private System.Windows.Forms.Label pluginsLabel;263 291 private System.Windows.Forms.TextBox versionTextBox; 264 292 private System.Windows.Forms.Label versionLabel; … … 272 300 private System.Windows.Forms.ImageList pluginImageList; 273 301 private PluginListView pluginListView; 302 private System.Windows.Forms.GroupBox productsGroupBox; 303 private System.Windows.Forms.GroupBox detailsGroupBox; 304 private System.Windows.Forms.GroupBox pluginsGroupBox; 274 305 275 306 }
Note: See TracChangeset
for help on using the changeset viewer.