Free cookie consent management tool by TermsFeed Policy Generator

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

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

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