Free cookie consent management tool by TermsFeed Policy Generator

source: stable/HeuristicLab.PluginInfrastructure/3.3/Advanced/InstallationManagerForm.Designer.cs @ 11359

Last change on this file since 11359 was 11170, checked in by ascheibe, 10 years ago

#2115 updated copyright year in stable branch

File size: 15.7 KB
RevLine 
[3090]1#region License Information
2/* HeuristicLab
[11170]3 * Copyright (C) 2002-2014 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[3090]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();
[2753]47      this.statusStrip = new System.Windows.Forms.StatusStrip();
[2922]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.localPluginsTabPage = new System.Windows.Forms.TabPage();
[3627]52      this.localPluginsView = new HeuristicLab.PluginInfrastructure.Advanced.InstalledPluginsView();
[3474]53      this.availablePluginsTabPage = new System.Windows.Forms.TabPage();
[3627]54      this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.AvailablePluginsView();
[3509]55      this.uploadPluginsTabPage = new System.Windows.Forms.TabPage();
[3627]56      this.pluginEditor = new HeuristicLab.PluginInfrastructure.Advanced.UploadPluginsView();
[3509]57      this.manageProductsTabPage = new System.Windows.Forms.TabPage();
[3627]58      this.productEditor = new HeuristicLab.PluginInfrastructure.Advanced.EditProductsView();
[2922]59      this.logTabPage = new System.Windows.Forms.TabPage();
60      this.logTextBox = new System.Windows.Forms.TextBox();
[3474]61      this.menuStrip = new System.Windows.Forms.MenuStrip();
62      this.optionsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
63      this.connectionSettingsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
[3573]64      this.toolTip = new System.Windows.Forms.ToolTip(this.components);
[2922]65      this.statusStrip.SuspendLayout();
66      this.tabControl.SuspendLayout();
67      this.localPluginsTabPage.SuspendLayout();
[3474]68      this.availablePluginsTabPage.SuspendLayout();
[3509]69      this.uploadPluginsTabPage.SuspendLayout();
70      this.manageProductsTabPage.SuspendLayout();
[2922]71      this.logTabPage.SuspendLayout();
[3474]72      this.menuStrip.SuspendLayout();
[2748]73      this.SuspendLayout();
74      //
[2753]75      // statusStrip
76      //
[2922]77      this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
78            this.toolStripProgressBar,
79            this.toolStripStatusLabel});
[3547]80      this.statusStrip.Location = new System.Drawing.Point(0, 422);
[2753]81      this.statusStrip.Name = "statusStrip";
[3547]82      this.statusStrip.Size = new System.Drawing.Size(622, 22);
[2753]83      this.statusStrip.TabIndex = 0;
84      //
[2922]85      // toolStripProgressBar
[2753]86      //
[2922]87      this.toolStripProgressBar.MarqueeAnimationSpeed = 30;
88      this.toolStripProgressBar.Name = "toolStripProgressBar";
89      this.toolStripProgressBar.Size = new System.Drawing.Size(100, 16);
90      this.toolStripProgressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
91      this.toolStripProgressBar.Visible = false;
[2753]92      //
[2922]93      // toolStripStatusLabel
[2753]94      //
[2922]95      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
96      this.toolStripStatusLabel.Size = new System.Drawing.Size(0, 17);
[2753]97      //
[2922]98      // tabControl
99      //
[3474]100      this.tabControl.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
101                  | System.Windows.Forms.AnchorStyles.Left)
102                  | System.Windows.Forms.AnchorStyles.Right)));
[2922]103      this.tabControl.Controls.Add(this.localPluginsTabPage);
[3474]104      this.tabControl.Controls.Add(this.availablePluginsTabPage);
[3508]105      this.tabControl.Controls.Add(this.uploadPluginsTabPage);
106      this.tabControl.Controls.Add(this.manageProductsTabPage);
[2922]107      this.tabControl.Controls.Add(this.logTabPage);
[3474]108      this.tabControl.Location = new System.Drawing.Point(12, 27);
[2922]109      this.tabControl.Name = "tabControl";
110      this.tabControl.SelectedIndex = 0;
[3547]111      this.tabControl.Size = new System.Drawing.Size(598, 392);
[2922]112      this.tabControl.TabIndex = 16;
[3624]113      this.tabControl.SelectedIndexChanged += new System.EventHandler(this.tabControl_SelectedIndexChanged);
[2922]114      //
115      // localPluginsTabPage
116      //
[3547]117      this.localPluginsTabPage.Controls.Add(this.localPluginsView);
[2922]118      this.localPluginsTabPage.Location = new System.Drawing.Point(4, 22);
119      this.localPluginsTabPage.Name = "localPluginsTabPage";
120      this.localPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
[3547]121      this.localPluginsTabPage.Size = new System.Drawing.Size(590, 366);
[2922]122      this.localPluginsTabPage.TabIndex = 0;
123      this.localPluginsTabPage.Text = "Installed Plugins";
[3573]124      this.toolTip.SetToolTip(this.localPluginsTabPage, "Delete or update installed plugins");
[2922]125      this.localPluginsTabPage.UseVisualStyleBackColor = true;
126      //
[3547]127      // localPluginsView
[2922]128      //
[3547]129      this.localPluginsView.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
130                  | System.Windows.Forms.AnchorStyles.Left)
131                  | System.Windows.Forms.AnchorStyles.Right)));
132      this.localPluginsView.InstallationManager = null;
133      this.localPluginsView.Location = new System.Drawing.Point(6, 6);
134      this.localPluginsView.Name = "localPluginsView";
135      this.localPluginsView.PluginManager = null;
136      this.localPluginsView.Size = new System.Drawing.Size(578, 354);
137      this.localPluginsView.StatusView = null;
138      this.localPluginsView.TabIndex = 0;
[3474]139      //
140      // availablePluginsTabPage
[2922]141      //
[3474]142      this.availablePluginsTabPage.Controls.Add(this.remotePluginInstaller);
143      this.availablePluginsTabPage.Location = new System.Drawing.Point(4, 22);
144      this.availablePluginsTabPage.Name = "availablePluginsTabPage";
145      this.availablePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
[3547]146      this.availablePluginsTabPage.Size = new System.Drawing.Size(590, 366);
[3474]147      this.availablePluginsTabPage.TabIndex = 1;
148      this.availablePluginsTabPage.Text = "Available Plugins";
[3573]149      this.toolTip.SetToolTip(this.availablePluginsTabPage, "Download and install new plugins");
[3474]150      this.availablePluginsTabPage.UseVisualStyleBackColor = true;
[2922]151      //
[3547]152      // remotePluginInstaller
[3474]153      //
[3547]154      this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
155                  | System.Windows.Forms.AnchorStyles.Left)
156                  | System.Windows.Forms.AnchorStyles.Right)));
[3573]157      this.remotePluginInstaller.InstallationManager = null;
[3547]158      this.remotePluginInstaller.Location = new System.Drawing.Point(6, 6);
159      this.remotePluginInstaller.Name = "remotePluginInstaller";
[3573]160      this.remotePluginInstaller.PluginManager = null;
[3547]161      this.remotePluginInstaller.Size = new System.Drawing.Size(578, 354);
[3573]162      this.remotePluginInstaller.StatusView = null;
[3547]163      this.remotePluginInstaller.TabIndex = 14;
[3474]164      //
[3509]165      // uploadPluginsTabPage
166      //
167      this.uploadPluginsTabPage.Controls.Add(this.pluginEditor);
168      this.uploadPluginsTabPage.Location = new System.Drawing.Point(4, 22);
169      this.uploadPluginsTabPage.Name = "uploadPluginsTabPage";
170      this.uploadPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
[3547]171      this.uploadPluginsTabPage.Size = new System.Drawing.Size(590, 366);
[3509]172      this.uploadPluginsTabPage.TabIndex = 3;
173      this.uploadPluginsTabPage.Text = "Upload Plugins";
[3573]174      this.toolTip.SetToolTip(this.uploadPluginsTabPage, "Upload plugins");
[3509]175      this.uploadPluginsTabPage.UseVisualStyleBackColor = true;
176      //
[3547]177      // pluginEditor
178      //
179      this.pluginEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
180                  | System.Windows.Forms.AnchorStyles.Left)
181                  | System.Windows.Forms.AnchorStyles.Right)));
182      this.pluginEditor.Location = new System.Drawing.Point(6, 6);
183      this.pluginEditor.Name = "pluginEditor";
184      this.pluginEditor.PluginManager = null;
185      this.pluginEditor.Size = new System.Drawing.Size(578, 354);
[3624]186      this.pluginEditor.StatusView = null;
[3547]187      this.pluginEditor.TabIndex = 0;
188      //
[3509]189      // manageProductsTabPage
190      //
191      this.manageProductsTabPage.Controls.Add(this.productEditor);
192      this.manageProductsTabPage.Location = new System.Drawing.Point(4, 22);
193      this.manageProductsTabPage.Name = "manageProductsTabPage";
194      this.manageProductsTabPage.Padding = new System.Windows.Forms.Padding(3);
[3547]195      this.manageProductsTabPage.Size = new System.Drawing.Size(590, 366);
[3509]196      this.manageProductsTabPage.TabIndex = 4;
197      this.manageProductsTabPage.Text = "Manage Products";
[3573]198      this.toolTip.SetToolTip(this.manageProductsTabPage, "Create and manage products");
[3509]199      this.manageProductsTabPage.UseVisualStyleBackColor = true;
200      //
[3547]201      // productEditor
202      //
203      this.productEditor.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
204                  | System.Windows.Forms.AnchorStyles.Left)
205                  | System.Windows.Forms.AnchorStyles.Right)));
206      this.productEditor.Location = new System.Drawing.Point(6, 6);
207      this.productEditor.Name = "productEditor";
208      this.productEditor.Size = new System.Drawing.Size(578, 354);
[3624]209      this.productEditor.StatusView = null;
[3547]210      this.productEditor.TabIndex = 0;
211      //
[2922]212      // logTabPage
213      //
214      this.logTabPage.Controls.Add(this.logTextBox);
215      this.logTabPage.Location = new System.Drawing.Point(4, 22);
216      this.logTabPage.Name = "logTabPage";
[3547]217      this.logTabPage.Size = new System.Drawing.Size(590, 366);
[2922]218      this.logTabPage.TabIndex = 2;
219      this.logTabPage.Text = "Log";
[3573]220      this.toolTip.SetToolTip(this.logTabPage, "Show Log Messages");
[2922]221      this.logTabPage.UseVisualStyleBackColor = true;
222      //
223      // logTextBox
224      //
[3474]225      this.logTextBox.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
226                  | System.Windows.Forms.AnchorStyles.Left)
227                  | System.Windows.Forms.AnchorStyles.Right)));
228      this.logTextBox.Location = new System.Drawing.Point(3, 3);
[2922]229      this.logTextBox.Multiline = true;
230      this.logTextBox.Name = "logTextBox";
231      this.logTextBox.ReadOnly = true;
232      this.logTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
[3547]233      this.logTextBox.Size = new System.Drawing.Size(584, 360);
[2922]234      this.logTextBox.TabIndex = 0;
235      //
[3474]236      // menuStrip
[3006]237      //
[3474]238      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
239            this.optionsToolStripMenuItem});
240      this.menuStrip.Location = new System.Drawing.Point(0, 0);
241      this.menuStrip.Name = "menuStrip";
[3547]242      this.menuStrip.Size = new System.Drawing.Size(622, 24);
[3474]243      this.menuStrip.TabIndex = 17;
244      this.menuStrip.Text = "menuStrip1";
[3006]245      //
[3474]246      // optionsToolStripMenuItem
247      //
248      this.optionsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
249            this.connectionSettingsToolStripMenuItem});
250      this.optionsToolStripMenuItem.Name = "optionsToolStripMenuItem";
251      this.optionsToolStripMenuItem.Size = new System.Drawing.Size(61, 20);
252      this.optionsToolStripMenuItem.Text = "Options";
253      //
254      // connectionSettingsToolStripMenuItem
255      //
[3721]256      this.connectionSettingsToolStripMenuItem.Image = global::HeuristicLab.PluginInfrastructure.Resources.NetworkConnections;
[3474]257      this.connectionSettingsToolStripMenuItem.Name = "connectionSettingsToolStripMenuItem";
258      this.connectionSettingsToolStripMenuItem.Size = new System.Drawing.Size(190, 22);
259      this.connectionSettingsToolStripMenuItem.Text = "Connection Settings...";
260      this.connectionSettingsToolStripMenuItem.Click += new System.EventHandler(this.connectionSettingsToolStripMenuItem_Click);
261      //
[2748]262      // InstallationManagerForm
263      //
264      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
[7967]265      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Inherit;
[3547]266      this.ClientSize = new System.Drawing.Size(622, 444);
[2922]267      this.Controls.Add(this.tabControl);
[2753]268      this.Controls.Add(this.statusStrip);
[3474]269      this.Controls.Add(this.menuStrip);
[6518]270      this.Icon = global::HeuristicLab.PluginInfrastructure.Resources.HeuristicLab;
[3474]271      this.MainMenuStrip = this.menuStrip;
[2748]272      this.Name = "InstallationManagerForm";
[3474]273      this.Text = "Plugin Manager";
[2922]274      this.statusStrip.ResumeLayout(false);
275      this.statusStrip.PerformLayout();
276      this.tabControl.ResumeLayout(false);
277      this.localPluginsTabPage.ResumeLayout(false);
[3474]278      this.availablePluginsTabPage.ResumeLayout(false);
[3509]279      this.uploadPluginsTabPage.ResumeLayout(false);
280      this.manageProductsTabPage.ResumeLayout(false);
[2922]281      this.logTabPage.ResumeLayout(false);
282      this.logTabPage.PerformLayout();
[3474]283      this.menuStrip.ResumeLayout(false);
284      this.menuStrip.PerformLayout();
[2748]285      this.ResumeLayout(false);
[2753]286      this.PerformLayout();
[2748]287
288    }
289
290    #endregion
[2753]291
292    private System.Windows.Forms.StatusStrip statusStrip;
[2922]293    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
294    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
[3627]295    private AvailablePluginsView remotePluginInstaller;
[2922]296    private System.Windows.Forms.TabControl tabControl;
297    private System.Windows.Forms.TabPage localPluginsTabPage;
[3474]298    private System.Windows.Forms.TabPage availablePluginsTabPage;
[2922]299    private System.Windows.Forms.TabPage logTabPage;
300    private System.Windows.Forms.TextBox logTextBox;
[3474]301    private System.Windows.Forms.MenuStrip menuStrip;
302    private System.Windows.Forms.ToolStripMenuItem optionsToolStripMenuItem;
303    private System.Windows.Forms.ToolStripMenuItem connectionSettingsToolStripMenuItem;
[3508]304    private System.Windows.Forms.TabPage uploadPluginsTabPage;
305    private System.Windows.Forms.TabPage manageProductsTabPage;
[3627]306    private UploadPluginsView pluginEditor;
307    private EditProductsView productEditor;
308    private InstalledPluginsView localPluginsView;
[3573]309    private System.Windows.Forms.ToolTip toolTip;
[2748]310  }
311}
Note: See TracBrowser for help on using the repository browser.