Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/PluginView.Designer.cs @ 3216

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

Added license headers and set visibility to internal for the classes of the plugin manager. #891 (Refactor GUI for plugin management)

File size: 15.4 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
21namespace HeuristicLab.PluginInfrastructure.Advanced {
22  partial class PluginView {
23    /// <summary>
24    /// Required designer variable.
25    /// </summary>
26    private System.ComponentModel.IContainer components = null;
27
28    /// <summary>
29    /// Clean up any resources being used.
30    /// </summary>
31    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
32    protected override void Dispose(bool disposing) {
33      if (disposing && (components != null)) {
34        components.Dispose();
35      }
36      base.Dispose(disposing);
37    }
38
39    #region Component Designer generated code
40
41    /// <summary>
42    /// Required method for Designer support - do not modify
43    /// the contents of this method with the code editor.
44    /// </summary>
45    private void InitializeComponent() {
46      this.components = new System.ComponentModel.Container();
47      this.nameLabel = new System.Windows.Forms.Label();
48      this.nameTextBox = new System.Windows.Forms.TextBox();
49      this.versionTextBox = new System.Windows.Forms.TextBox();
50      this.versionLabel = new System.Windows.Forms.Label();
51      this.contactTextBox = new System.Windows.Forms.TextBox();
52      this.contactInfoLabel = new System.Windows.Forms.Label();
53      this.licenseButton = new System.Windows.Forms.Button();
54      this.dependenciesGroupBox = new System.Windows.Forms.GroupBox();
55      this.dependenciesListView = new System.Windows.Forms.ListView();
56      this.pluginNameHeader = new System.Windows.Forms.ColumnHeader();
57      this.pluginVersionHeader = new System.Windows.Forms.ColumnHeader();
58      this.imageList = new System.Windows.Forms.ImageList(this.components);
59      this.filesListView = new System.Windows.Forms.ListView();
60      this.fileNameHeader = new System.Windows.Forms.ColumnHeader();
61      this.fileTypeHeader = new System.Windows.Forms.ColumnHeader();
62      this.filesGroupBox = new System.Windows.Forms.GroupBox();
63      this.stateTextBox = new System.Windows.Forms.TextBox();
64      this.stateLabel = new System.Windows.Forms.Label();
65      this.errorLabel = new System.Windows.Forms.Label();
66      this.descriptionLabel = new System.Windows.Forms.Label();
67      this.errorTextBox = new System.Windows.Forms.RichTextBox();
68      this.descriptionTextBox = new System.Windows.Forms.RichTextBox();
69      this.dependenciesGroupBox.SuspendLayout();
70      this.filesGroupBox.SuspendLayout();
71      this.SuspendLayout();
72      //
73      // nameLabel
74      //
75      this.nameLabel.AutoSize = true;
76      this.nameLabel.Location = new System.Drawing.Point(3, 6);
77      this.nameLabel.Name = "nameLabel";
78      this.nameLabel.Size = new System.Drawing.Size(38, 13);
79      this.nameLabel.TabIndex = 0;
80      this.nameLabel.Text = "Name:";
81      //
82      // nameTextBox
83      //
84      this.nameTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
85                  | System.Windows.Forms.AnchorStyles.Right)));
86      this.nameTextBox.Location = new System.Drawing.Point(74, 3);
87      this.nameTextBox.Name = "nameTextBox";
88      this.nameTextBox.ReadOnly = true;
89      this.nameTextBox.Size = new System.Drawing.Size(269, 20);
90      this.nameTextBox.TabIndex = 1;
91      //
92      // versionTextBox
93      //
94      this.versionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
95                  | System.Windows.Forms.AnchorStyles.Right)));
96      this.versionTextBox.Location = new System.Drawing.Point(74, 29);
97      this.versionTextBox.Name = "versionTextBox";
98      this.versionTextBox.ReadOnly = true;
99      this.versionTextBox.Size = new System.Drawing.Size(269, 20);
100      this.versionTextBox.TabIndex = 3;
101      //
102      // versionLabel
103      //
104      this.versionLabel.AutoSize = true;
105      this.versionLabel.Location = new System.Drawing.Point(3, 32);
106      this.versionLabel.Name = "versionLabel";
107      this.versionLabel.Size = new System.Drawing.Size(45, 13);
108      this.versionLabel.TabIndex = 2;
109      this.versionLabel.Text = "Version:";
110      //
111      // contactTextBox
112      //
113      this.contactTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
114                  | System.Windows.Forms.AnchorStyles.Right)));
115      this.contactTextBox.Location = new System.Drawing.Point(74, 55);
116      this.contactTextBox.Name = "contactTextBox";
117      this.contactTextBox.ReadOnly = true;
118      this.contactTextBox.Size = new System.Drawing.Size(269, 20);
119      this.contactTextBox.TabIndex = 5;
120      //
121      // contactInfoLabel
122      //
123      this.contactInfoLabel.AutoSize = true;
124      this.contactInfoLabel.Location = new System.Drawing.Point(3, 58);
125      this.contactInfoLabel.Name = "contactInfoLabel";
126      this.contactInfoLabel.Size = new System.Drawing.Size(47, 13);
127      this.contactInfoLabel.TabIndex = 4;
128      this.contactInfoLabel.Text = "Contact:";
129      //
130      // licenseButton
131      //
132      this.licenseButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
133      this.licenseButton.Location = new System.Drawing.Point(3, 586);
134      this.licenseButton.Name = "licenseButton";
135      this.licenseButton.Size = new System.Drawing.Size(103, 23);
136      this.licenseButton.TabIndex = 10;
137      this.licenseButton.Text = "Show license";
138      this.licenseButton.UseVisualStyleBackColor = true;
139      this.licenseButton.Click += new System.EventHandler(this.licenseButton_Click);
140      //
141      // dependenciesGroupBox
142      //
143      this.dependenciesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
144                  | System.Windows.Forms.AnchorStyles.Left)
145                  | System.Windows.Forms.AnchorStyles.Right)));
146      this.dependenciesGroupBox.Controls.Add(this.dependenciesListView);
147      this.dependenciesGroupBox.Location = new System.Drawing.Point(6, 408);
148      this.dependenciesGroupBox.Name = "dependenciesGroupBox";
149      this.dependenciesGroupBox.Size = new System.Drawing.Size(340, 172);
150      this.dependenciesGroupBox.TabIndex = 1;
151      this.dependenciesGroupBox.TabStop = false;
152      this.dependenciesGroupBox.Text = "Dependencies";
153      //
154      // dependenciesListView
155      //
156      this.dependenciesListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
157            this.pluginNameHeader,
158            this.pluginVersionHeader});
159      this.dependenciesListView.Dock = System.Windows.Forms.DockStyle.Fill;
160      this.dependenciesListView.Location = new System.Drawing.Point(3, 16);
161      this.dependenciesListView.Name = "dependenciesListView";
162      this.dependenciesListView.Size = new System.Drawing.Size(334, 153);
163      this.dependenciesListView.SmallImageList = this.imageList;
164      this.dependenciesListView.TabIndex = 0;
165      this.dependenciesListView.UseCompatibleStateImageBehavior = false;
166      this.dependenciesListView.View = System.Windows.Forms.View.Details;
167      this.dependenciesListView.ItemActivate += new System.EventHandler(this.dependenciesListView_ItemActivate);
168      //
169      // pluginNameHeader
170      //
171      this.pluginNameHeader.Text = "Name";
172      this.pluginNameHeader.Width = 200;
173      //
174      // pluginVersionHeader
175      //
176      this.pluginVersionHeader.Text = "Version";
177      this.pluginVersionHeader.Width = 120;
178      //
179      // imageList
180      //
181      this.imageList.ColorDepth = System.Windows.Forms.ColorDepth.Depth8Bit;
182      this.imageList.ImageSize = new System.Drawing.Size(16, 16);
183      this.imageList.TransparentColor = System.Drawing.Color.Transparent;
184      //
185      // filesListView
186      //
187      this.filesListView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
188            this.fileNameHeader,
189            this.fileTypeHeader});
190      this.filesListView.Dock = System.Windows.Forms.DockStyle.Fill;
191      this.filesListView.Location = new System.Drawing.Point(3, 16);
192      this.filesListView.Name = "filesListView";
193      this.filesListView.Size = new System.Drawing.Size(331, 140);
194      this.filesListView.SmallImageList = this.imageList;
195      this.filesListView.TabIndex = 0;
196      this.filesListView.UseCompatibleStateImageBehavior = false;
197      this.filesListView.View = System.Windows.Forms.View.Details;
198      //
199      // fileNameHeader
200      //
201      this.fileNameHeader.Text = "Name";
202      this.fileNameHeader.Width = 200;
203      //
204      // fileTypeHeader
205      //
206      this.fileTypeHeader.Text = "Type";
207      this.fileTypeHeader.Width = 120;
208      //
209      // filesGroupBox
210      //
211      this.filesGroupBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
212                  | System.Windows.Forms.AnchorStyles.Right)));
213      this.filesGroupBox.Controls.Add(this.filesListView);
214      this.filesGroupBox.Location = new System.Drawing.Point(9, 243);
215      this.filesGroupBox.Name = "filesGroupBox";
216      this.filesGroupBox.Size = new System.Drawing.Size(337, 159);
217      this.filesGroupBox.TabIndex = 11;
218      this.filesGroupBox.TabStop = false;
219      this.filesGroupBox.Text = "Files";
220      //
221      // stateTextBox
222      //
223      this.stateTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
224                  | System.Windows.Forms.AnchorStyles.Right)));
225      this.stateTextBox.Location = new System.Drawing.Point(74, 145);
226      this.stateTextBox.Name = "stateTextBox";
227      this.stateTextBox.ReadOnly = true;
228      this.stateTextBox.Size = new System.Drawing.Size(269, 20);
229      this.stateTextBox.TabIndex = 13;
230      //
231      // stateLabel
232      //
233      this.stateLabel.AutoSize = true;
234      this.stateLabel.Location = new System.Drawing.Point(3, 148);
235      this.stateLabel.Name = "stateLabel";
236      this.stateLabel.Size = new System.Drawing.Size(35, 13);
237      this.stateLabel.TabIndex = 12;
238      this.stateLabel.Text = "State:";
239      //
240      // errorLabel
241      //
242      this.errorLabel.AutoSize = true;
243      this.errorLabel.Location = new System.Drawing.Point(3, 174);
244      this.errorLabel.Name = "errorLabel";
245      this.errorLabel.Size = new System.Drawing.Size(32, 13);
246      this.errorLabel.TabIndex = 15;
247      this.errorLabel.Text = "Error:";
248      //
249      // descriptionLabel
250      //
251      this.descriptionLabel.AutoSize = true;
252      this.descriptionLabel.Location = new System.Drawing.Point(3, 84);
253      this.descriptionLabel.Name = "descriptionLabel";
254      this.descriptionLabel.Size = new System.Drawing.Size(63, 13);
255      this.descriptionLabel.TabIndex = 17;
256      this.descriptionLabel.Text = "Description:";
257      //
258      // errorTextBox
259      //
260      this.errorTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
261                  | System.Windows.Forms.AnchorStyles.Right)));
262      this.errorTextBox.Location = new System.Drawing.Point(74, 171);
263      this.errorTextBox.Name = "errorTextBox";
264      this.errorTextBox.ReadOnly = true;
265      this.errorTextBox.Size = new System.Drawing.Size(269, 66);
266      this.errorTextBox.TabIndex = 18;
267      this.errorTextBox.Text = "";
268      //
269      // descriptionTextBox
270      //
271      this.descriptionTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)(((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Left)
272                  | System.Windows.Forms.AnchorStyles.Right)));
273      this.descriptionTextBox.Location = new System.Drawing.Point(74, 81);
274      this.descriptionTextBox.Name = "descriptionTextBox";
275      this.descriptionTextBox.ReadOnly = true;
276      this.descriptionTextBox.Size = new System.Drawing.Size(269, 58);
277      this.descriptionTextBox.TabIndex = 19;
278      this.descriptionTextBox.Text = "";
279      //
280      // PluginView
281      //
282      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
283      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
284      this.Controls.Add(this.descriptionTextBox);
285      this.Controls.Add(this.errorTextBox);
286      this.Controls.Add(this.errorLabel);
287      this.Controls.Add(this.descriptionLabel);
288      this.Controls.Add(this.stateTextBox);
289      this.Controls.Add(this.stateLabel);
290      this.Controls.Add(this.dependenciesGroupBox);
291      this.Controls.Add(this.filesGroupBox);
292      this.Controls.Add(this.licenseButton);
293      this.Controls.Add(this.contactTextBox);
294      this.Controls.Add(this.contactInfoLabel);
295      this.Controls.Add(this.versionTextBox);
296      this.Controls.Add(this.versionLabel);
297      this.Controls.Add(this.nameTextBox);
298      this.Controls.Add(this.nameLabel);
299      this.Name = "PluginView";
300      this.Size = new System.Drawing.Size(346, 612);
301      this.dependenciesGroupBox.ResumeLayout(false);
302      this.filesGroupBox.ResumeLayout(false);
303      this.ResumeLayout(false);
304      this.PerformLayout();
305
306    }
307
308    #endregion
309
310    protected System.Windows.Forms.Label nameLabel;
311    protected System.Windows.Forms.TextBox nameTextBox;
312    protected System.Windows.Forms.TextBox versionTextBox;
313    protected System.Windows.Forms.Label versionLabel;
314    protected System.Windows.Forms.TextBox contactTextBox;
315    protected System.Windows.Forms.Label contactInfoLabel;
316    protected System.Windows.Forms.Button licenseButton;
317    protected System.Windows.Forms.GroupBox dependenciesGroupBox;
318    private System.Windows.Forms.ColumnHeader pluginNameHeader;
319    private System.Windows.Forms.ColumnHeader pluginVersionHeader;
320    protected System.Windows.Forms.ListView dependenciesListView;
321    private System.Windows.Forms.ListView filesListView;
322    private System.Windows.Forms.GroupBox filesGroupBox;
323    private System.Windows.Forms.ImageList imageList;
324    private System.Windows.Forms.ColumnHeader fileNameHeader;
325    private System.Windows.Forms.ColumnHeader fileTypeHeader;
326    protected System.Windows.Forms.TextBox stateTextBox;
327    protected System.Windows.Forms.Label stateLabel;
328    protected System.Windows.Forms.Label errorLabel;
329    protected System.Windows.Forms.Label descriptionLabel;
330    private System.Windows.Forms.RichTextBox errorTextBox;
331    private System.Windows.Forms.RichTextBox descriptionTextBox;
332
333  }
334}
Note: See TracBrowser for help on using the repository browser.