Free cookie consent management tool by TermsFeed Policy Generator

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

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