Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.PluginAdministrator/3.3/ProductEditor.Designer.cs @ 3179

Last change on this file since 3179 was 3179, checked in by gkronber, 15 years ago

Improved controls for deployment service interaction.
Increased max values for message sizes and related limits in the deployment service configuration.
Recreated proxy classes for the deployment service.

#891 (Refactor GUI for plugin management)
File size: 12.8 KB
Line 
1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2010 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22namespace HeuristicLab.PluginAdministrator {
23  partial class ProductEditor {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if (disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Component Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      this.refreshButton = new System.Windows.Forms.Button();
49      this.saveButton = new System.Windows.Forms.Button();
50      this.newProductButton = new System.Windows.Forms.Button();
51      this.splitContainer = new System.Windows.Forms.SplitContainer();
52      this.productsListView = new System.Windows.Forms.ListView();
53      this.productNameHeader = new System.Windows.Forms.ColumnHeader();
54      this.productVersionHeader = new System.Windows.Forms.ColumnHeader();
55      this.productImageList = new System.Windows.Forms.ImageList(this.components);
56      this.pluginListView = new HeuristicLab.PluginAdministrator.PluginListView();
57      this.pluginsLabel = new System.Windows.Forms.Label();
58      this.versionTextBox = new System.Windows.Forms.TextBox();
59      this.versionLabel = new System.Windows.Forms.Label();
60      this.nameTextBox = new System.Windows.Forms.TextBox();
61      this.nameLabel = new System.Windows.Forms.Label();
62      this.pluginImageList = new System.Windows.Forms.ImageList(this.components);
63      this.errorProvider = new System.Windows.Forms.ErrorProvider(this.components);
64      this.splitContainer.Panel1.SuspendLayout();
65      this.splitContainer.Panel2.SuspendLayout();
66      this.splitContainer.SuspendLayout();
67      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).BeginInit();
68      this.SuspendLayout();
69      //
70      // refreshButton
71      //
72      this.refreshButton.Location = new System.Drawing.Point(3, 3);
73      this.refreshButton.Name = "refreshButton";
74      this.refreshButton.Size = new System.Drawing.Size(75, 23);
75      this.refreshButton.TabIndex = 1;
76      this.refreshButton.Text = "Refresh";
77      this.refreshButton.UseVisualStyleBackColor = true;
78      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
79      //
80      // saveButton
81      //
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);
91      //
92      // newProductButton
93      //
94      this.newProductButton.Enabled = false;
95      this.newProductButton.Location = new System.Drawing.Point(84, 3);
96      this.newProductButton.Name = "newProductButton";
97      this.newProductButton.Size = new System.Drawing.Size(91, 23);
98      this.newProductButton.TabIndex = 3;
99      this.newProductButton.Text = "New product";
100      this.newProductButton.UseVisualStyleBackColor = true;
101      this.newProductButton.Click += new System.EventHandler(this.newProductButton_Click);
102      //
103      // splitContainer
104      //
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);
109      this.splitContainer.Name = "splitContainer";
110      //
111      // splitContainer.Panel1
112      //
113      this.splitContainer.Panel1.Controls.Add(this.productsListView);
114      this.splitContainer.Panel1.Controls.Add(this.saveButton);
115      //
116      // splitContainer.Panel2
117      //
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;
126      this.splitContainer.TabIndex = 4;
127      //
128      // productsListView
129      //
130      this.productsListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
131                  | System.Windows.Forms.AnchorStyles.Left)
132                  | System.Windows.Forms.AnchorStyles.Right)));
133      this.productsListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
134            this.productNameHeader,
135            this.productVersionHeader});
136      this.productsListView.Enabled = false;
137      this.productsListView.FullRowSelect = true;
138      this.productsListView.Location = new System.Drawing.Point(3, 3);
139      this.productsListView.MultiSelect = false;
140      this.productsListView.Name = "productsListView";
141      this.productsListView.Size = new System.Drawing.Size(313, 356);
142      this.productsListView.SmallImageList = this.productImageList;
143      this.productsListView.TabIndex = 4;
144      this.productsListView.UseCompatibleStateImageBehavior = false;
145      this.productsListView.View = System.Windows.Forms.View.Details;
146      this.productsListView.SelectedIndexChanged += new System.EventHandler(this.productsListBox_SelectedIndexChanged);
147      //
148      // productNameHeader
149      //
150      this.productNameHeader.Text = "Name";
151      this.productNameHeader.Width = 150;
152      //
153      // productVersionHeader
154      //
155      this.productVersionHeader.Text = "Version";
156      this.productVersionHeader.Width = 100;
157      //
158      // productImageList
159      //
160      this.productImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
161      this.productImageList.ImageSize = new System.Drawing.Size(16, 16);
162      this.productImageList.TransparentColor = System.Drawing.Color.Transparent;
163      //
164      // pluginListView
165      //
166      this.pluginListView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
167                  | System.Windows.Forms.AnchorStyles.Left)
168                  | System.Windows.Forms.AnchorStyles.Right)));
169      this.pluginListView.Enabled = false;
170      this.pluginListView.Location = new System.Drawing.Point(3, 85);
171      this.pluginListView.Name = "pluginListView";
172      this.pluginListView.Plugins = null;
173      this.pluginListView.Size = new System.Drawing.Size(330, 303);
174      this.pluginListView.TabIndex = 7;
175      this.pluginListView.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.pluginListView_ItemChecked);
176      //
177      // pluginsLabel
178      //
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      //
186      // versionTextBox
187      //
188      this.versionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
189                  | System.Windows.Forms.AnchorStyles.Right)));
190      this.versionTextBox.Enabled = false;
191      this.versionTextBox.Location = new System.Drawing.Point(68, 29);
192      this.versionTextBox.Name = "versionTextBox";
193      this.versionTextBox.Size = new System.Drawing.Size(233, 20);
194      this.versionTextBox.TabIndex = 5;
195      this.versionTextBox.TextChanged += new System.EventHandler(this.versionTextBox_TextChanged);
196      //
197      // versionLabel
198      //
199      this.versionLabel.AutoSize = true;
200      this.versionLabel.Enabled = false;
201      this.versionLabel.Location = new System.Drawing.Point(10, 32);
202      this.versionLabel.Name = "versionLabel";
203      this.versionLabel.Size = new System.Drawing.Size(45, 13);
204      this.versionLabel.TabIndex = 4;
205      this.versionLabel.Text = "Version:";
206      //
207      // nameTextBox
208      //
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      // nameLabel
219      //
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      // pluginImageList
229      //
230      this.pluginImageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
231      this.pluginImageList.ImageSize = new System.Drawing.Size(16, 16);
232      this.pluginImageList.TransparentColor = System.Drawing.Color.Transparent;
233      //
234      // errorProvider
235      //
236      this.errorProvider.ContainerControl = this;
237      //
238      // ProductEditor
239      //
240      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
241      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
242      this.Controls.Add(this.splitContainer);
243      this.Controls.Add(this.newProductButton);
244      this.Controls.Add(this.refreshButton);
245      this.Name = "ProductEditor";
246      this.Size = new System.Drawing.Size(665, 426);
247      this.splitContainer.Panel1.ResumeLayout(false);
248      this.splitContainer.Panel2.ResumeLayout(false);
249      this.splitContainer.Panel2.PerformLayout();
250      this.splitContainer.ResumeLayout(false);
251      ((System.ComponentModel.ISupportInitialize)(this.errorProvider)).EndInit();
252      this.ResumeLayout(false);
253
254    }
255
256    #endregion
257
258    private System.Windows.Forms.Button refreshButton;
259    private System.Windows.Forms.Button saveButton;
260    private System.Windows.Forms.Button newProductButton;
261    private System.Windows.Forms.SplitContainer splitContainer;
262    private System.Windows.Forms.Label pluginsLabel;
263    private System.Windows.Forms.TextBox versionTextBox;
264    private System.Windows.Forms.Label versionLabel;
265    private System.Windows.Forms.TextBox nameTextBox;
266    private System.Windows.Forms.Label nameLabel;
267    private System.Windows.Forms.ErrorProvider errorProvider;
268    private System.Windows.Forms.ListView productsListView;
269    private System.Windows.Forms.ColumnHeader productNameHeader;
270    private System.Windows.Forms.ColumnHeader productVersionHeader;
271    private System.Windows.Forms.ImageList productImageList;
272    private System.Windows.Forms.ImageList pluginImageList;
273    private PluginListView pluginListView;
274
275  }
276}
Note: See TracBrowser for help on using the repository browser.