source: trunk/sources/HeuristicLab.PluginInfrastructure/Advanced/InstallationManagerForm.Designer.cs @ 3547

Last change on this file since 3547 was 3547, checked in by gkronber, 12 years ago

Implemented review comments in plugin manager. #989 (Implement review comments in plugin infrastructure)

File size: 19.1 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 InstallationManagerForm {
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 Windows Form 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      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(InstallationManagerForm));
47      this.statusStrip = new System.Windows.Forms.StatusStrip();
48      this.toolStripProgressBar = new System.Windows.Forms.ToolStripProgressBar();
49      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
50      this.tabControl = new System.Windows.Forms.TabControl();
51      this.updateAllPluginsTabPage = new System.Windows.Forms.TabPage();
52      this.basicUpdateView = new HeuristicLab.PluginInfrastructure.Advanced.BasicUpdateView();
53      this.localPluginsTabPage = new System.Windows.Forms.TabPage();
54      this.localPluginsView = new HeuristicLab.PluginInfrastructure.Advanced.LocalPluginsView();
55      this.availablePluginsTabPage = new System.Windows.Forms.TabPage();
56      this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.RemotePluginInstallerView();
57      this.uploadPluginsTabPage = new System.Windows.Forms.TabPage();
58      this.pluginEditor = new HeuristicLab.PluginInfrastructure.Advanced.PluginEditor();
59      this.manageProductsTabPage = new System.Windows.Forms.TabPage();
60      this.productEditor = new HeuristicLab.PluginInfrastructure.Advanced.ProductEditor();
61      this.logTabPage = new System.Windows.Forms.TabPage();
62      this.logTextBox = new System.Windows.Forms.TextBox();
63      this.menuStrip = new System.Windows.Forms.MenuStrip();
64      this.viewToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
65      this.simpleToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
66      this.advancedToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
67      this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
68      this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
69      this.statusStrip.SuspendLayout();
70      this.tabControl.SuspendLayout();
71      this.updateAllPluginsTabPage.SuspendLayout();
72      this.localPluginsTabPage.SuspendLayout();
73      this.availablePluginsTabPage.SuspendLayout();
74      this.uploadPluginsTabPage.SuspendLayout();
75      this.manageProductsTabPage.SuspendLayout();
76      this.logTabPage.SuspendLayout();
77      this.menuStrip.SuspendLayout();
78      this.SuspendLayout();
79      //
80      // statusStrip
81      //
82      this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
83            this.toolStripProgressBar,
84            this.toolStripStatusLabel});
85      this.statusStrip.Location = new System.Drawing.Point(0, 422);
86      this.statusStrip.Name = "statusStrip";
87      this.statusStrip.Size = new System.Drawing.Size(622, 22);
88      this.statusStrip.TabIndex = 0;
89      //
90      // toolStripProgressBar
91      //
92      this.toolStripProgressBar.MarqueeAnimationSpeed = 30;
93      this.toolStripProgressBar.Name = "toolStripProgressBar";
94      this.toolStripProgressBar.Size = new System.Drawing.Size(100, 16);
95      this.toolStripProgressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
96      this.toolStripProgressBar.Visible = false;
97      //
98      // toolStripStatusLabel
99      //
100      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
101      this.toolStripStatusLabel.Size = new System.Drawing.Size(0, 17);
102      //
103      // tabControl
104      //
105      this.tabControl.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.tabControl.Controls.Add(this.updateAllPluginsTabPage);
109      this.tabControl.Controls.Add(this.localPluginsTabPage);
110      this.tabControl.Controls.Add(this.availablePluginsTabPage);
111      this.tabControl.Controls.Add(this.uploadPluginsTabPage);
112      this.tabControl.Controls.Add(this.manageProductsTabPage);
113      this.tabControl.Controls.Add(this.logTabPage);
114      this.tabControl.Location = new System.Drawing.Point(12, 27);
115      this.tabControl.Name = "tabControl";
116      this.tabControl.SelectedIndex = 0;
117      this.tabControl.Size = new System.Drawing.Size(598, 392);
118      this.tabControl.TabIndex = 16;
119      this.tabControl.Selected += new System.Windows.Forms.TabControlEventHandler(this.tabControl_Selected);
120      //
121      // updateAllPluginsTabPage
122      //
123      this.updateAllPluginsTabPage.Controls.Add(this.basicUpdateView);
124      this.updateAllPluginsTabPage.Location = new System.Drawing.Point(4, 22);
125      this.updateAllPluginsTabPage.Name = "updateAllPluginsTabPage";
126      this.updateAllPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
127      this.updateAllPluginsTabPage.Size = new System.Drawing.Size(590, 366);
128      this.updateAllPluginsTabPage.TabIndex = 5;
129      this.updateAllPluginsTabPage.Text = "Update Plugins";
130      this.updateAllPluginsTabPage.UseVisualStyleBackColor = true;
131      //
132      // basicUpdateView
133      //
134      this.basicUpdateView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
135                  | System.Windows.Forms.AnchorStyles.Left)
136                  | System.Windows.Forms.AnchorStyles.Right)));
137      this.basicUpdateView.InstallationManager = null;
138      this.basicUpdateView.Location = new System.Drawing.Point(6, 6);
139      this.basicUpdateView.Name = "basicUpdateView";
140      this.basicUpdateView.PluginManager = null;
141      this.basicUpdateView.Size = new System.Drawing.Size(578, 354);
142      this.basicUpdateView.StatusView = null;
143      this.basicUpdateView.TabIndex = 0;
144      //
145      // localPluginsTabPage
146      //
147      this.localPluginsTabPage.Controls.Add(this.localPluginsView);
148      this.localPluginsTabPage.Location = new System.Drawing.Point(4, 22);
149      this.localPluginsTabPage.Name = "localPluginsTabPage";
150      this.localPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
151      this.localPluginsTabPage.Size = new System.Drawing.Size(590, 366);
152      this.localPluginsTabPage.TabIndex = 0;
153      this.localPluginsTabPage.Text = "Installed Plugins";
154      this.localPluginsTabPage.UseVisualStyleBackColor = true;
155      //
156      // localPluginsView
157      //
158      this.localPluginsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
159                  | System.Windows.Forms.AnchorStyles.Left)
160                  | System.Windows.Forms.AnchorStyles.Right)));
161      this.localPluginsView.InstallationManager = null;
162      this.localPluginsView.Location = new System.Drawing.Point(6, 6);
163      this.localPluginsView.Name = "localPluginsView";
164      this.localPluginsView.PluginManager = null;
165      this.localPluginsView.Size = new System.Drawing.Size(578, 354);
166      this.localPluginsView.StatusView = null;
167      this.localPluginsView.TabIndex = 0;
168      //
169      // availablePluginsTabPage
170      //
171      this.availablePluginsTabPage.Controls.Add(this.remotePluginInstaller);
172      this.availablePluginsTabPage.Location = new System.Drawing.Point(4, 22);
173      this.availablePluginsTabPage.Name = "availablePluginsTabPage";
174      this.availablePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
175      this.availablePluginsTabPage.Size = new System.Drawing.Size(590, 366);
176      this.availablePluginsTabPage.TabIndex = 1;
177      this.availablePluginsTabPage.Text = "Available Plugins";
178      this.availablePluginsTabPage.UseVisualStyleBackColor = true;
179      //
180      // remotePluginInstaller
181      //
182      this.remotePluginInstaller.AllPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
183      this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
184                  | System.Windows.Forms.AnchorStyles.Left)
185                  | System.Windows.Forms.AnchorStyles.Right)));
186      this.remotePluginInstaller.Location = new System.Drawing.Point(6, 6);
187      this.remotePluginInstaller.Name = "remotePluginInstaller";
188      this.remotePluginInstaller.NewPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
189      this.remotePluginInstaller.Products = new HeuristicLab.PluginInfrastructure.Advanced.DeploymentService.ProductDescription[0];
190      this.remotePluginInstaller.ShowAllPlugins = false;
191      this.remotePluginInstaller.Size = new System.Drawing.Size(578, 354);
192      this.remotePluginInstaller.TabIndex = 14;
193      //
194      // uploadPluginsTabPage
195      //
196      this.uploadPluginsTabPage.Controls.Add(this.pluginEditor);
197      this.uploadPluginsTabPage.Location = new System.Drawing.Point(4, 22);
198      this.uploadPluginsTabPage.Name = "uploadPluginsTabPage";
199      this.uploadPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
200      this.uploadPluginsTabPage.Size = new System.Drawing.Size(590, 366);
201      this.uploadPluginsTabPage.TabIndex = 3;
202      this.uploadPluginsTabPage.Text = "Upload Plugins";
203      this.uploadPluginsTabPage.UseVisualStyleBackColor = true;
204      //
205      // pluginEditor
206      //
207      this.pluginEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
208                  | System.Windows.Forms.AnchorStyles.Left)
209                  | System.Windows.Forms.AnchorStyles.Right)));
210      this.pluginEditor.Location = new System.Drawing.Point(6, 6);
211      this.pluginEditor.Name = "pluginEditor";
212      this.pluginEditor.PluginManager = null;
213      this.pluginEditor.Size = new System.Drawing.Size(578, 354);
214      this.pluginEditor.TabIndex = 0;
215      //
216      // manageProductsTabPage
217      //
218      this.manageProductsTabPage.Controls.Add(this.productEditor);
219      this.manageProductsTabPage.Location = new System.Drawing.Point(4, 22);
220      this.manageProductsTabPage.Name = "manageProductsTabPage";
221      this.manageProductsTabPage.Padding = new System.Windows.Forms.Padding(3);
222      this.manageProductsTabPage.Size = new System.Drawing.Size(590, 366);
223      this.manageProductsTabPage.TabIndex = 4;
224      this.manageProductsTabPage.Text = "Manage Products";
225      this.manageProductsTabPage.UseVisualStyleBackColor = true;
226      //
227      // productEditor
228      //
229      this.productEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
230                  | System.Windows.Forms.AnchorStyles.Left)
231                  | System.Windows.Forms.AnchorStyles.Right)));
232      this.productEditor.Location = new System.Drawing.Point(6, 6);
233      this.productEditor.Name = "productEditor";
234      this.productEditor.Size = new System.Drawing.Size(578, 354);
235      this.productEditor.TabIndex = 0;
236      //
237      // logTabPage
238      //
239      this.logTabPage.Controls.Add(this.logTextBox);
240      this.logTabPage.Location = new System.Drawing.Point(4, 22);
241      this.logTabPage.Name = "logTabPage";
242      this.logTabPage.Size = new System.Drawing.Size(590, 366);
243      this.logTabPage.TabIndex = 2;
244      this.logTabPage.Text = "Log";
245      this.logTabPage.UseVisualStyleBackColor = true;
246      //
247      // logTextBox
248      //
249      this.logTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
250                  | System.Windows.Forms.AnchorStyles.Left)
251                  | System.Windows.Forms.AnchorStyles.Right)));
252      this.logTextBox.Location = new System.Drawing.Point(3, 3);
253      this.logTextBox.Multiline = true;
254      this.logTextBox.Name = "logTextBox";
255      this.logTextBox.ReadOnly = true;
256      this.logTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
257      this.logTextBox.Size = new System.Drawing.Size(584, 360);
258      this.logTextBox.TabIndex = 0;
259      //
260      // menuStrip
261      //
262      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
263            this.viewToolStripMenuItem,
264            this.optionsToolStripMenuItem});
265      this.menuStrip.Location = new System.Drawing.Point(0, 0);
266      this.menuStrip.Name = "menuStrip";
267      this.menuStrip.Size = new System.Drawing.Size(622, 24);
268      this.menuStrip.TabIndex = 17;
269      this.menuStrip.Text = "menuStrip1";
270      //
271      // viewToolStripMenuItem
272      //
273      this.viewToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
274            this.simpleToolStripMenuItem,
275            this.advancedToolStripMenuItem});
276      this.viewToolStripMenuItem.Enabled = false;
277      this.viewToolStripMenuItem.Name = "viewToolStripMenuItem";
278      this.viewToolStripMenuItem.Size = new System.Drawing.Size(44, 20);
279      this.viewToolStripMenuItem.Text = "View";
280      //
281      // simpleToolStripMenuItem
282      //
283      this.simpleToolStripMenuItem.Checked = true;
284      this.simpleToolStripMenuItem.CheckOnClick = true;
285      this.simpleToolStripMenuItem.CheckState = System.Windows.Forms.CheckState.Checked;
286      this.simpleToolStripMenuItem.Name = "simpleToolStripMenuItem";
287      this.simpleToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
288      this.simpleToolStripMenuItem.Text = "Show Most Recent Plugins";
289      this.simpleToolStripMenuItem.Click += new System.EventHandler(this.simpleToolStripMenuItem_Click);
290      //
291      // advancedToolStripMenuItem
292      //
293      this.advancedToolStripMenuItem.CheckOnClick = true;
294      this.advancedToolStripMenuItem.Name = "advancedToolStripMenuItem";
295      this.advancedToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
296      this.advancedToolStripMenuItem.Text = "Show All Plugins";
297      this.advancedToolStripMenuItem.Click += new System.EventHandler(this.advancedToolStripMenuItem_Click);
298      //
299      // optionsToolStripMenuItem
300      //
301      this.optionsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
302            this.connectionSettingsToolStripMenuItem});
303      this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
304      this.optionsToolStripMenuItem.Size = new System.Drawing.Size(61, 20);
305      this.optionsToolStripMenuItem.Text = "Options";
306      //
307      // connectionSettingsToolStripMenuItem
308      //
309      this.connectionSettingsToolStripMenuItem.Image = global::HeuristicLab.PluginInfrastructure.Properties.Resources.VS2008ImageLibrary_Objects_NetworkConnections;
310      this.connectionSettingsToolStripMenuItem.Name = "connectionSettingsToolStripMenuItem";
311      this.connectionSettingsToolStripMenuItem.Size = new System.Drawing.Size(190, 22);
312      this.connectionSettingsToolStripMenuItem.Text = "Connection Settings...";
313      this.connectionSettingsToolStripMenuItem.Click += new System.EventHandler(this.connectionSettingsToolStripMenuItem_Click);
314      //
315      // InstallationManagerForm
316      //
317      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
318      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
319      this.ClientSize = new System.Drawing.Size(622, 444);
320      this.Controls.Add(this.tabControl);
321      this.Controls.Add(this.statusStrip);
322      this.Controls.Add(this.menuStrip);
323      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
324      this.MainMenuStrip = this.menuStrip;
325      this.Name = "InstallationManagerForm";
326      this.Text = "Plugin Manager";
327      this.statusStrip.ResumeLayout(false);
328      this.statusStrip.PerformLayout();
329      this.tabControl.ResumeLayout(false);
330      this.updateAllPluginsTabPage.ResumeLayout(false);
331      this.localPluginsTabPage.ResumeLayout(false);
332      this.availablePluginsTabPage.ResumeLayout(false);
333      this.uploadPluginsTabPage.ResumeLayout(false);
334      this.manageProductsTabPage.ResumeLayout(false);
335      this.logTabPage.ResumeLayout(false);
336      this.logTabPage.PerformLayout();
337      this.menuStrip.ResumeLayout(false);
338      this.menuStrip.PerformLayout();
339      this.ResumeLayout(false);
340      this.PerformLayout();
341
342    }
343
344    #endregion
345
346    private System.Windows.Forms.StatusStrip statusStrip;
347    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
348    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
349    private RemotePluginInstallerView remotePluginInstaller;
350    private System.Windows.Forms.TabControl tabControl;
351    private System.Windows.Forms.TabPage localPluginsTabPage;
352    private System.Windows.Forms.TabPage availablePluginsTabPage;
353    private System.Windows.Forms.TabPage logTabPage;
354    private System.Windows.Forms.TextBox logTextBox;
355    private System.Windows.Forms.MenuStrip menuStrip;
356    private System.Windows.Forms.ToolStripMenuItem viewToolStripMenuItem;
357    private System.Windows.Forms.ToolStripMenuItem simpleToolStripMenuItem;
358    private System.Windows.Forms.ToolStripMenuItem advancedToolStripMenuItem;
359    private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
360    private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;
361    private System.Windows.Forms.TabPage uploadPluginsTabPage;
362    private System.Windows.Forms.TabPage manageProductsTabPage;
363    private PluginEditor pluginEditor;
364    private ProductEditor productEditor;
365    private LocalPluginsView localPluginsView;
366    private System.Windows.Forms.TabPage updateAllPluginsTabPage;
367    private BasicUpdateView basicUpdateView;
368  }
369}
Note: See TracBrowser for help on using the repository browser.