Free cookie consent management tool by TermsFeed Policy Generator

source: trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs @ 140

Last change on this file since 140 was 140, checked in by gkronber, 16 years ago

added a statusbar for the plugin-manager and display the number of installed, available, and upgradeable plugins. (ticket #32)
File size: 21.1 KB
RevLine 
[2]1#region License Information
2/* HeuristicLab
3 * Copyright (C) 2002-2008 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
21
22namespace HeuristicLab.PluginInfrastructure.GUI {
23  partial class ManagerForm {
24    /// <summary>
25    /// Required designer variable.
26    /// </summary>
27    private System.ComponentModel.IContainer components = null;
28
29    /// <summary>
30    /// Clean up any resources being used.
31    /// </summary>
32    /// <param name="disposing">true if managed resources should be disposed; otherwise, false.</param>
33    protected override void Dispose(bool disposing) {
34      if(disposing && (components != null)) {
35        components.Dispose();
36      }
37      base.Dispose(disposing);
38    }
39
40    #region Windows Form Designer generated code
41
42    /// <summary>
43    /// Required method for Designer support - do not modify
44    /// the contents of this method with the code editor.
45    /// </summary>
46    private void InitializeComponent() {
47      this.components = new System.ComponentModel.Container();
48      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ManagerForm));
49      this.menuStrip = new System.Windows.Forms.MenuStrip();
50      this.pluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
51      this.managePluginSourcesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
52      this.installPluginFromFileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
53      this.toolStripSeparator2 = new System.Windows.Forms.ToolStripSeparator();
54      this.installedPluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
55      this.installNewPluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
56      this.toolStripSeparator3 = new System.Windows.Forms.ToolStripSeparator();
57      this.refreshPluginListToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
58      this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
59      this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
60      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
61      this.splitContainer = new System.Windows.Forms.SplitContainer();
62      this.pluginTreeView = new System.Windows.Forms.TreeView();
[15]63      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
[2]64      this.infoTextBox = new System.Windows.Forms.RichTextBox();
65      this.toolStrip = new System.Windows.Forms.ToolStrip();
66      this.updateButton = new System.Windows.Forms.ToolStripButton();
67      this.upgradeButton = new System.Windows.Forms.ToolStripButton();
68      this.toolStripSeparator = new System.Windows.Forms.ToolStripSeparator();
69      this.installButton = new System.Windows.Forms.ToolStripButton();
[18]70      this.deleteButton = new System.Windows.Forms.ToolStripButton();
[2]71      this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
72      this.publishButton = new System.Windows.Forms.ToolStripButton();
73      this.pluginContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
74      this.installMenuItem = new System.Windows.Forms.ToolStripMenuItem();
[18]75      this.deleteMenuItem = new System.Windows.Forms.ToolStripMenuItem();
[2]76      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
[140]77      this.statusStrip1 = new System.Windows.Forms.StatusStrip();
78      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
[2]79      this.menuStrip.SuspendLayout();
80      this.splitContainer.Panel1.SuspendLayout();
81      this.splitContainer.Panel2.SuspendLayout();
82      this.splitContainer.SuspendLayout();
83      this.toolStrip.SuspendLayout();
84      this.pluginContextMenuStrip.SuspendLayout();
[140]85      this.statusStrip1.SuspendLayout();
[2]86      this.SuspendLayout();
87      //
88      // menuStrip
89      //
90      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
91            this.pluginsToolStripMenuItem,
92            this.helpToolStripMenuItem});
93      this.menuStrip.Location = new System.Drawing.Point(0, 0);
94      this.menuStrip.Name = "menuStrip";
95      this.menuStrip.Size = new System.Drawing.Size(828, 24);
96      this.menuStrip.TabIndex = 0;
97      this.menuStrip.Text = "menuStrip";
98      //
99      // pluginsToolStripMenuItem
100      //
101      this.pluginsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
102            this.managePluginSourcesToolStripMenuItem,
103            this.installPluginFromFileToolStripMenuItem,
104            this.toolStripSeparator2,
105            this.installedPluginsToolStripMenuItem,
106            this.installNewPluginsToolStripMenuItem,
107            this.toolStripSeparator3,
108            this.refreshPluginListToolStripMenuItem,
109            this.exitToolStripMenuItem});
110      this.pluginsToolStripMenuItem.Name = "pluginsToolStripMenuItem";
111      this.pluginsToolStripMenuItem.Size = new System.Drawing.Size(52, 20);
112      this.pluginsToolStripMenuItem.Text = "Plugins";
113      //
114      // managePluginSourcesToolStripMenuItem
115      //
116      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
[140]117      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]118      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
119      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
120      //
121      // installPluginFromFileToolStripMenuItem
122      //
123      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
[140]124      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]125      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
126      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
127      //
128      // toolStripSeparator2
129      //
130      this.toolStripSeparator2.Name = "toolStripSeparator2";
[140]131      this.toolStripSeparator2.Size = new System.Drawing.Size(192, 6);
[2]132      //
133      // installedPluginsToolStripMenuItem
134      //
135      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
[140]136      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]137      this.installedPluginsToolStripMenuItem.Text = "Update";
138      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
139      //
140      // installNewPluginsToolStripMenuItem
141      //
142      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
[140]143      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[18]144      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
[2]145      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
146      //
147      // toolStripSeparator3
148      //
149      this.toolStripSeparator3.Name = "toolStripSeparator3";
[140]150      this.toolStripSeparator3.Size = new System.Drawing.Size(192, 6);
[2]151      //
152      // refreshPluginListToolStripMenuItem
153      //
154      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
[140]155      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]156      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
157      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
158      //
159      // exitToolStripMenuItem
160      //
161      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
[140]162      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
[2]163      this.exitToolStripMenuItem.Text = "Close";
164      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
165      //
166      // helpToolStripMenuItem
167      //
168      this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
169            this.aboutToolStripMenuItem});
170      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
171      this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
172      this.helpToolStripMenuItem.Text = "Help";
173      //
174      // aboutToolStripMenuItem
175      //
176      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
[140]177      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(115, 22);
[2]178      this.aboutToolStripMenuItem.Text = "About...";
179      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
180      //
181      // splitContainer
182      //
183      this.splitContainer.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.splitContainer.Location = new System.Drawing.Point(0, 52);
187      this.splitContainer.Name = "splitContainer";
188      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
189      //
190      // splitContainer.Panel1
191      //
192      this.splitContainer.Panel1.Controls.Add(this.pluginTreeView);
193      //
194      // splitContainer.Panel2
195      //
196      this.splitContainer.Panel2.Controls.Add(this.infoTextBox);
197      this.splitContainer.Size = new System.Drawing.Size(828, 473);
198      this.splitContainer.SplitterDistance = 220;
199      this.splitContainer.TabIndex = 1;
200      //
201      // pluginTreeView
202      //
203      this.pluginTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
204      this.pluginTreeView.ImageIndex = 0;
205      this.pluginTreeView.ImageList = this.pluginIcons;
206      this.pluginTreeView.Location = new System.Drawing.Point(0, 0);
207      this.pluginTreeView.Name = "pluginTreeView";
208      this.pluginTreeView.SelectedImageIndex = 0;
209      this.pluginTreeView.Size = new System.Drawing.Size(828, 220);
210      this.pluginTreeView.TabIndex = 0;
[18]211      this.pluginTreeView.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.pluginTreeView_KeyPress);
[2]212      this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
213      this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
214      //
[15]215      // pluginIcons
216      //
217      this.pluginIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("pluginIcons.ImageStream")));
218      this.pluginIcons.TransparentColor = System.Drawing.Color.Magenta;
219      this.pluginIcons.Images.SetKeyName(0, "VSObject_Module.bmp");
220      this.pluginIcons.Images.SetKeyName(1, "VSObject_Namespace.bmp");
221      this.pluginIcons.Images.SetKeyName(2, "install.bmp");
222      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
223      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
224      //
[2]225      // infoTextBox
226      //
227      this.infoTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
228      this.infoTextBox.Location = new System.Drawing.Point(0, 0);
229      this.infoTextBox.Name = "infoTextBox";
230      this.infoTextBox.Size = new System.Drawing.Size(828, 249);
231      this.infoTextBox.TabIndex = 0;
232      this.infoTextBox.Text = "";
233      //
234      // toolStrip
235      //
236      this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
237            this.updateButton,
238            this.upgradeButton,
239            this.toolStripSeparator,
240            this.installButton,
[18]241            this.deleteButton,
[2]242            this.toolStripSeparator1,
243            this.publishButton});
244      this.toolStrip.Location = new System.Drawing.Point(0, 24);
245      this.toolStrip.Name = "toolStrip";
246      this.toolStrip.Size = new System.Drawing.Size(828, 25);
247      this.toolStrip.TabIndex = 2;
248      this.toolStrip.Text = "toolStrip";
249      //
250      // updateButton
251      //
252      this.updateButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
253      this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
254      this.updateButton.ImageTransparentColor = System.Drawing.Color.Magenta;
255      this.updateButton.Name = "updateButton";
256      this.updateButton.Size = new System.Drawing.Size(46, 22);
[18]257      this.updateButton.Text = "Update";
[2]258      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
259      //
260      // upgradeButton
261      //
262      this.upgradeButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
263      this.upgradeButton.Image = ((System.Drawing.Image)(resources.GetObject("upgradeButton.Image")));
264      this.upgradeButton.ImageTransparentColor = System.Drawing.Color.Magenta;
265      this.upgradeButton.Name = "upgradeButton";
[18]266      this.upgradeButton.Size = new System.Drawing.Size(132, 22);
267      this.upgradeButton.Text = "Delete/Upgrade/Install...";
[2]268      this.upgradeButton.Click += new System.EventHandler(this.upgradeButton_Click);
269      //
270      // toolStripSeparator
271      //
272      this.toolStripSeparator.Name = "toolStripSeparator";
273      this.toolStripSeparator.Size = new System.Drawing.Size(6, 25);
274      //
275      // installButton
276      //
277      this.installButton.CheckOnClick = true;
278      this.installButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
279      this.installButton.Image = ((System.Drawing.Image)(resources.GetObject("installButton.Image")));
280      this.installButton.ImageTransparentColor = System.Drawing.Color.Magenta;
281      this.installButton.Name = "installButton";
282      this.installButton.Size = new System.Drawing.Size(40, 22);
[15]283      this.installButton.Text = "&Install";
[2]284      this.installButton.Click += new System.EventHandler(this.installButton_Clicked);
285      //
[18]286      // deleteButton
[2]287      //
[18]288      this.deleteButton.CheckOnClick = true;
289      this.deleteButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
290      this.deleteButton.Image = ((System.Drawing.Image)(resources.GetObject("deleteButton.Image")));
291      this.deleteButton.ImageTransparentColor = System.Drawing.Color.Magenta;
292      this.deleteButton.Name = "deleteButton";
293      this.deleteButton.Size = new System.Drawing.Size(42, 22);
294      this.deleteButton.Text = "&Delete";
295      this.deleteButton.Click += new System.EventHandler(this.removeButton_Clicked);
[2]296      //
297      // toolStripSeparator1
298      //
299      this.toolStripSeparator1.Name = "toolStripSeparator1";
300      this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
301      //
302      // publishButton
303      //
304      this.publishButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
305      this.publishButton.Image = ((System.Drawing.Image)(resources.GetObject("publishButton.Image")));
306      this.publishButton.ImageTransparentColor = System.Drawing.Color.Magenta;
307      this.publishButton.Name = "publishButton";
308      this.publishButton.Size = new System.Drawing.Size(44, 22);
309      this.publishButton.Text = "Publish";
310      this.publishButton.Click += new System.EventHandler(this.publishButton_Click);
311      //
312      // pluginContextMenuStrip
313      //
314      this.pluginContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
315            this.installMenuItem,
[18]316            this.deleteMenuItem,
[2]317            this.publishMenuItem});
318      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
[140]319      this.pluginContextMenuStrip.Size = new System.Drawing.Size(108, 70);
[2]320      //
321      // installMenuItem
322      //
323      this.installMenuItem.Name = "installMenuItem";
[140]324      this.installMenuItem.Size = new System.Drawing.Size(107, 22);
[2]325      this.installMenuItem.Text = "Install";
326      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
327      //
[18]328      // deleteMenuItem
[2]329      //
[18]330      this.deleteMenuItem.Name = "deleteMenuItem";
[140]331      this.deleteMenuItem.Size = new System.Drawing.Size(107, 22);
[18]332      this.deleteMenuItem.Text = "Delete";
333      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
[2]334      //
335      // publishMenuItem
336      //
337      this.publishMenuItem.Name = "publishMenuItem";
[140]338      this.publishMenuItem.Size = new System.Drawing.Size(107, 22);
[2]339      this.publishMenuItem.Text = "Publish";
340      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
341      //
[140]342      // statusStrip1
343      //
344      this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
345            this.toolStripStatusLabel});
346      this.statusStrip1.Location = new System.Drawing.Point(0, 515);
347      this.statusStrip1.Name = "statusStrip1";
348      this.statusStrip1.Size = new System.Drawing.Size(828, 22);
349      this.statusStrip1.TabIndex = 3;
350      this.statusStrip1.Text = "statusStrip1";
351      //
352      // toolStripStatusLabel
353      //
354      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
355      this.toolStripStatusLabel.Size = new System.Drawing.Size(103, 17);
356      this.toolStripStatusLabel.Text = "toolStripStatusLabel";
357      //
[2]358      // ManagerForm
359      //
360      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
361      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
362      this.ClientSize = new System.Drawing.Size(828, 537);
[140]363      this.Controls.Add(this.statusStrip1);
[2]364      this.Controls.Add(this.toolStrip);
365      this.Controls.Add(this.splitContainer);
366      this.Controls.Add(this.menuStrip);
367      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
368      this.MainMenuStrip = this.menuStrip;
369      this.Name = "ManagerForm";
370      this.Text = "Heuristiclab Pluginmanager Console";
371      this.menuStrip.ResumeLayout(false);
372      this.menuStrip.PerformLayout();
373      this.splitContainer.Panel1.ResumeLayout(false);
374      this.splitContainer.Panel2.ResumeLayout(false);
375      this.splitContainer.ResumeLayout(false);
376      this.toolStrip.ResumeLayout(false);
377      this.toolStrip.PerformLayout();
378      this.pluginContextMenuStrip.ResumeLayout(false);
[140]379      this.statusStrip1.ResumeLayout(false);
380      this.statusStrip1.PerformLayout();
[2]381      this.ResumeLayout(false);
382      this.PerformLayout();
383
384    }
385
386    #endregion
387
388    private System.Windows.Forms.MenuStrip menuStrip;
389    private System.Windows.Forms.ToolStripMenuItem pluginsToolStripMenuItem;
390    private System.Windows.Forms.ToolStripMenuItem installedPluginsToolStripMenuItem;
391    private System.Windows.Forms.ToolStripMenuItem installNewPluginsToolStripMenuItem;
392    private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
393    private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
394    private System.Windows.Forms.ToolStripMenuItem managePluginSourcesToolStripMenuItem;
395    private System.Windows.Forms.SplitContainer splitContainer;
396    private System.Windows.Forms.TreeView pluginTreeView;
397    private System.Windows.Forms.RichTextBox infoTextBox;
398    private System.Windows.Forms.ToolStripMenuItem refreshPluginListToolStripMenuItem;
399    private System.Windows.Forms.ToolStrip toolStrip;
400    private System.Windows.Forms.ToolStripButton updateButton;
401    private System.Windows.Forms.ToolStripButton upgradeButton;
402    private System.Windows.Forms.ToolStripSeparator toolStripSeparator;
403    private System.Windows.Forms.ToolStripButton installButton;
[18]404    private System.Windows.Forms.ToolStripButton deleteButton;
[2]405    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
406    private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
407    private System.Windows.Forms.ToolStripButton publishButton;
408    private System.Windows.Forms.ContextMenuStrip pluginContextMenuStrip;
409    private System.Windows.Forms.ToolStripMenuItem installMenuItem;
[18]410    private System.Windows.Forms.ToolStripMenuItem deleteMenuItem;
[2]411    private System.Windows.Forms.ToolStripMenuItem publishMenuItem;
412    private System.Windows.Forms.ToolStripMenuItem installPluginFromFileToolStripMenuItem;
413    private System.Windows.Forms.ToolStripSeparator toolStripSeparator2;
414    private System.Windows.Forms.ToolStripSeparator toolStripSeparator3;
415    private System.Windows.Forms.ImageList pluginIcons;
[140]416    private System.Windows.Forms.StatusStrip statusStrip1;
417    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
[2]418  }
419}
420
Note: See TracBrowser for help on using the repository browser.