Free cookie consent management tool by TermsFeed Policy Generator

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

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

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