Free cookie consent management tool by TermsFeed Policy Generator

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

Last change on this file since 3155 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: 12.5 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() {
[2753]46      this.statusStrip = new System.Windows.Forms.StatusStrip();
[2922]47      this.toolStripProgressBar = new System.Windows.Forms.ToolStripProgressBar();
48      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
49      this.removeButton = new System.Windows.Forms.Button();
50      this.installButton = new System.Windows.Forms.Button();
51      this.tabControl = new System.Windows.Forms.TabControl();
52      this.localPluginsTabPage = new System.Windows.Forms.TabPage();
53      this.localPluginManager = new HeuristicLab.PluginInfrastructure.Advanced.LocalPluginManager();
54      this.remotePluginsTabPage = new System.Windows.Forms.TabPage();
55      this.remotePluginInstaller = new HeuristicLab.PluginInfrastructure.Advanced.RemotePluginInstaller();
56      this.logTabPage = new System.Windows.Forms.TabPage();
57      this.logTextBox = new System.Windows.Forms.TextBox();
[3006]58      this.refreshButton = new System.Windows.Forms.Button();
59      this.editConnectionButton = new System.Windows.Forms.Button();
[2922]60      this.statusStrip.SuspendLayout();
61      this.tabControl.SuspendLayout();
62      this.localPluginsTabPage.SuspendLayout();
63      this.remotePluginsTabPage.SuspendLayout();
64      this.logTabPage.SuspendLayout();
[2748]65      this.SuspendLayout();
66      //
[2753]67      // statusStrip
68      //
[2922]69      this.statusStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
70            this.toolStripProgressBar,
71            this.toolStripStatusLabel});
72      this.statusStrip.Location = new System.Drawing.Point(0, 612);
[2753]73      this.statusStrip.Name = "statusStrip";
[2922]74      this.statusStrip.Size = new System.Drawing.Size(606, 22);
[2753]75      this.statusStrip.TabIndex = 0;
76      //
[2922]77      // toolStripProgressBar
[2753]78      //
[2922]79      this.toolStripProgressBar.MarqueeAnimationSpeed = 30;
80      this.toolStripProgressBar.Name = "toolStripProgressBar";
81      this.toolStripProgressBar.Size = new System.Drawing.Size(100, 16);
82      this.toolStripProgressBar.Style = System.Windows.Forms.ProgressBarStyle.Marquee;
83      this.toolStripProgressBar.Visible = false;
[2753]84      //
[2922]85      // toolStripStatusLabel
[2753]86      //
[2922]87      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
88      this.toolStripStatusLabel.Size = new System.Drawing.Size(0, 17);
[2753]89      //
[2922]90      // removeButton
[2753]91      //
[2922]92      this.removeButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
93      this.removeButton.Enabled = false;
94      this.removeButton.Location = new System.Drawing.Point(6, 557);
95      this.removeButton.Name = "removeButton";
96      this.removeButton.Size = new System.Drawing.Size(109, 23);
97      this.removeButton.TabIndex = 11;
98      this.removeButton.Text = "Remove Plugins";
99      this.removeButton.UseVisualStyleBackColor = true;
100      this.removeButton.Click += new System.EventHandler(this.removeButton_Click);
[2753]101      //
[2922]102      // installButton
103      //
104      this.installButton.Anchor = ((System.Windows.Forms.AnchorStyles)((System.Windows.Forms.AnchorStyles.Bottom | System.Windows.Forms.AnchorStyles.Left)));
105      this.installButton.Enabled = false;
106      this.installButton.Location = new System.Drawing.Point(6, 557);
107      this.installButton.Name = "installButton";
108      this.installButton.Size = new System.Drawing.Size(132, 23);
109      this.installButton.TabIndex = 15;
110      this.installButton.Text = "Download and Install";
111      this.installButton.UseVisualStyleBackColor = true;
112      this.installButton.Click += new System.EventHandler(this.updateButton_Click);
113      //
114      // tabControl
115      //
116      this.tabControl.Controls.Add(this.localPluginsTabPage);
117      this.tabControl.Controls.Add(this.remotePluginsTabPage);
118      this.tabControl.Controls.Add(this.logTabPage);
119      this.tabControl.Dock = System.Windows.Forms.DockStyle.Fill;
120      this.tabControl.Location = new System.Drawing.Point(0, 0);
121      this.tabControl.Name = "tabControl";
122      this.tabControl.SelectedIndex = 0;
123      this.tabControl.Size = new System.Drawing.Size(606, 612);
124      this.tabControl.TabIndex = 16;
125      //
126      // localPluginsTabPage
127      //
128      this.localPluginsTabPage.Controls.Add(this.removeButton);
129      this.localPluginsTabPage.Controls.Add(this.localPluginManager);
130      this.localPluginsTabPage.Location = new System.Drawing.Point(4, 22);
131      this.localPluginsTabPage.Name = "localPluginsTabPage";
132      this.localPluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
133      this.localPluginsTabPage.Size = new System.Drawing.Size(598, 586);
134      this.localPluginsTabPage.TabIndex = 0;
135      this.localPluginsTabPage.Text = "Installed Plugins";
136      this.localPluginsTabPage.UseVisualStyleBackColor = true;
137      //
138      // localPluginManager
139      //
140      this.localPluginManager.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
141                  | System.Windows.Forms.AnchorStyles.Left)
142                  | System.Windows.Forms.AnchorStyles.Right)));
143      this.localPluginManager.Location = new System.Drawing.Point(6, 6);
144      this.localPluginManager.Name = "localPluginManager";
145      this.localPluginManager.Plugins = null;
146      this.localPluginManager.Size = new System.Drawing.Size(584, 545);
147      this.localPluginManager.TabIndex = 0;
148      this.localPluginManager.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.localPluginManager_ItemChecked);
149      //
150      // remotePluginsTabPage
151      //
[3006]152      this.remotePluginsTabPage.Controls.Add(this.editConnectionButton);
[2922]153      this.remotePluginsTabPage.Controls.Add(this.remotePluginInstaller);
154      this.remotePluginsTabPage.Controls.Add(this.refreshButton);
155      this.remotePluginsTabPage.Controls.Add(this.installButton);
156      this.remotePluginsTabPage.Location = new System.Drawing.Point(4, 22);
157      this.remotePluginsTabPage.Name = "remotePluginsTabPage";
158      this.remotePluginsTabPage.Padding = new System.Windows.Forms.Padding(3);
159      this.remotePluginsTabPage.Size = new System.Drawing.Size(598, 586);
160      this.remotePluginsTabPage.TabIndex = 1;
161      this.remotePluginsTabPage.Text = "Remote Plugins";
162      this.remotePluginsTabPage.UseVisualStyleBackColor = true;
163      //
164      // remotePluginInstaller
165      //
166      this.remotePluginInstaller.AllPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
167      this.remotePluginInstaller.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
168                  | System.Windows.Forms.AnchorStyles.Left)
169                  | System.Windows.Forms.AnchorStyles.Right)));
170      this.remotePluginInstaller.Location = new System.Drawing.Point(6, 35);
171      this.remotePluginInstaller.Name = "remotePluginInstaller";
172      this.remotePluginInstaller.NewPlugins = new HeuristicLab.PluginInfrastructure.IPluginDescription[0];
173      this.remotePluginInstaller.Products = new HeuristicLab.PluginInfrastructure.Advanced.DeploymentService.ProductDescription[0];
174      this.remotePluginInstaller.Size = new System.Drawing.Size(584, 516);
175      this.remotePluginInstaller.TabIndex = 14;
176      this.remotePluginInstaller.ItemChecked += new System.Windows.Forms.ItemCheckedEventHandler(this.remotePluginInstaller_ItemChecked);
177      //
178      // logTabPage
179      //
180      this.logTabPage.Controls.Add(this.logTextBox);
181      this.logTabPage.Location = new System.Drawing.Point(4, 22);
182      this.logTabPage.Name = "logTabPage";
183      this.logTabPage.Size = new System.Drawing.Size(598, 586);
184      this.logTabPage.TabIndex = 2;
185      this.logTabPage.Text = "Log";
186      this.logTabPage.UseVisualStyleBackColor = true;
187      //
188      // logTextBox
189      //
190      this.logTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
191      this.logTextBox.Location = new System.Drawing.Point(0, 0);
192      this.logTextBox.Multiline = true;
193      this.logTextBox.Name = "logTextBox";
194      this.logTextBox.ReadOnly = true;
195      this.logTextBox.ScrollBars = System.Windows.Forms.ScrollBars.Vertical;
196      this.logTextBox.Size = new System.Drawing.Size(598, 586);
197      this.logTextBox.TabIndex = 0;
198      //
[3006]199      // refreshButton
200      //
201      this.refreshButton.Location = new System.Drawing.Point(8, 6);
202      this.refreshButton.Name = "refreshButton";
203      this.refreshButton.Size = new System.Drawing.Size(75, 23);
204      this.refreshButton.TabIndex = 11;
205      this.refreshButton.Text = "Refresh";
206      this.refreshButton.UseVisualStyleBackColor = true;
207      this.refreshButton.Click += new System.EventHandler(this.refreshButton_Click);
208      //
209      // editConnectionButton
210      //
211      this.editConnectionButton.Location = new System.Drawing.Point(89, 6);
212      this.editConnectionButton.Name = "editConnectionButton";
213      this.editConnectionButton.Size = new System.Drawing.Size(108, 23);
214      this.editConnectionButton.TabIndex = 16;
215      this.editConnectionButton.Text = "Edit Connection...";
216      this.editConnectionButton.UseVisualStyleBackColor = true;
217      this.editConnectionButton.Click += new System.EventHandler(this.editConnectionButton_Click);
218      //
[2748]219      // InstallationManagerForm
220      //
221      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
222      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
[2922]223      this.ClientSize = new System.Drawing.Size(606, 634);
224      this.Controls.Add(this.tabControl);
[2753]225      this.Controls.Add(this.statusStrip);
[2748]226      this.Name = "InstallationManagerForm";
227      this.Text = "InstallationManager";
[2922]228      this.statusStrip.ResumeLayout(false);
229      this.statusStrip.PerformLayout();
230      this.tabControl.ResumeLayout(false);
231      this.localPluginsTabPage.ResumeLayout(false);
232      this.remotePluginsTabPage.ResumeLayout(false);
233      this.logTabPage.ResumeLayout(false);
234      this.logTabPage.PerformLayout();
[2748]235      this.ResumeLayout(false);
[2753]236      this.PerformLayout();
[2748]237
238    }
239
240    #endregion
[2753]241
242    private System.Windows.Forms.StatusStrip statusStrip;
[2922]243    private System.Windows.Forms.ToolStripProgressBar toolStripProgressBar;
244    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
245    private LocalPluginManager localPluginManager;
246    private RemotePluginInstaller remotePluginInstaller;
247    private System.Windows.Forms.Button removeButton;
248    private System.Windows.Forms.Button installButton;
249    private System.Windows.Forms.TabControl tabControl;
250    private System.Windows.Forms.TabPage localPluginsTabPage;
251    private System.Windows.Forms.TabPage remotePluginsTabPage;
252    private System.Windows.Forms.TabPage logTabPage;
253    private System.Windows.Forms.TextBox logTextBox;
[3006]254    private System.Windows.Forms.Button editConnectionButton;
255    private System.Windows.Forms.Button refreshButton;
[2748]256  }
257}
Note: See TracBrowser for help on using the repository browser.