Free cookie consent management tool by TermsFeed Policy Generator

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

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

made install and delete actions available via keys 'i' and 'd' (ticket #21)

File size: 20.0 KB
Line 
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();
63      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
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();
70      this.deleteButton = new System.Windows.Forms.ToolStripButton();
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();
75      this.deleteMenuItem = new System.Windows.Forms.ToolStripMenuItem();
76      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
77      this.menuStrip.SuspendLayout();
78      this.splitContainer.Panel1.SuspendLayout();
79      this.splitContainer.Panel2.SuspendLayout();
80      this.splitContainer.SuspendLayout();
81      this.toolStrip.SuspendLayout();
82      this.pluginContextMenuStrip.SuspendLayout();
83      this.SuspendLayout();
84      //
85      // menuStrip
86      //
87      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
88            this.pluginsToolStripMenuItem,
89            this.helpToolStripMenuItem});
90      this.menuStrip.Location = new System.Drawing.Point(0, 0);
91      this.menuStrip.Name = "menuStrip";
92      this.menuStrip.Size = new System.Drawing.Size(828, 24);
93      this.menuStrip.TabIndex = 0;
94      this.menuStrip.Text = "menuStrip";
95      //
96      // pluginsToolStripMenuItem
97      //
98      this.pluginsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
99            this.managePluginSourcesToolStripMenuItem,
100            this.installPluginFromFileToolStripMenuItem,
101            this.toolStripSeparator2,
102            this.installedPluginsToolStripMenuItem,
103            this.installNewPluginsToolStripMenuItem,
104            this.toolStripSeparator3,
105            this.refreshPluginListToolStripMenuItem,
106            this.exitToolStripMenuItem});
107      this.pluginsToolStripMenuItem.Name = "pluginsToolStripMenuItem";
108      this.pluginsToolStripMenuItem.Size = new System.Drawing.Size(52, 20);
109      this.pluginsToolStripMenuItem.Text = "Plugins";
110      //
111      // managePluginSourcesToolStripMenuItem
112      //
113      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
114      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
115      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
116      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
117      //
118      // installPluginFromFileToolStripMenuItem
119      //
120      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
121      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
122      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
123      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
124      //
125      // toolStripSeparator2
126      //
127      this.toolStripSeparator2.Name = "toolStripSeparator2";
128      this.toolStripSeparator2.Size = new System.Drawing.Size(211, 6);
129      //
130      // installedPluginsToolStripMenuItem
131      //
132      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
133      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
134      this.installedPluginsToolStripMenuItem.Text = "Update";
135      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
136      //
137      // installNewPluginsToolStripMenuItem
138      //
139      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
140      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
141      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
142      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
143      //
144      // toolStripSeparator3
145      //
146      this.toolStripSeparator3.Name = "toolStripSeparator3";
147      this.toolStripSeparator3.Size = new System.Drawing.Size(211, 6);
148      //
149      // refreshPluginListToolStripMenuItem
150      //
151      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
152      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
153      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
154      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
155      //
156      // exitToolStripMenuItem
157      //
158      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
159      this.exitToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
160      this.exitToolStripMenuItem.Text = "Close";
161      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
162      //
163      // helpToolStripMenuItem
164      //
165      this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
166            this.aboutToolStripMenuItem});
167      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
168      this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
169      this.helpToolStripMenuItem.Text = "Help";
170      //
171      // aboutToolStripMenuItem
172      //
173      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
174      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
175      this.aboutToolStripMenuItem.Text = "About...";
176      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
177      //
178      // splitContainer
179      //
180      this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
181                  | System.Windows.Forms.AnchorStyles.Left)
182                  | System.Windows.Forms.AnchorStyles.Right)));
183      this.splitContainer.Location = new System.Drawing.Point(0, 52);
184      this.splitContainer.Name = "splitContainer";
185      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
186      //
187      // splitContainer.Panel1
188      //
189      this.splitContainer.Panel1.Controls.Add(this.pluginTreeView);
190      //
191      // splitContainer.Panel2
192      //
193      this.splitContainer.Panel2.Controls.Add(this.infoTextBox);
194      this.splitContainer.Size = new System.Drawing.Size(828, 473);
195      this.splitContainer.SplitterDistance = 220;
196      this.splitContainer.TabIndex = 1;
197      //
198      // pluginTreeView
199      //
200      this.pluginTreeView.Dock = System.Windows.Forms.DockStyle.Fill;
201      this.pluginTreeView.ImageIndex = 0;
202      this.pluginTreeView.ImageList = this.pluginIcons;
203      this.pluginTreeView.Location = new System.Drawing.Point(0, 0);
204      this.pluginTreeView.Name = "pluginTreeView";
205      this.pluginTreeView.SelectedImageIndex = 0;
206      this.pluginTreeView.Size = new System.Drawing.Size(828, 220);
207      this.pluginTreeView.TabIndex = 0;
208      this.pluginTreeView.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.pluginTreeView_KeyPress);
209      this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
210      this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
211      //
212      // pluginIcons
213      //
214      this.pluginIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("pluginIcons.ImageStream")));
215      this.pluginIcons.TransparentColor = System.Drawing.Color.Magenta;
216      this.pluginIcons.Images.SetKeyName(0, "VSObject_Module.bmp");
217      this.pluginIcons.Images.SetKeyName(1, "VSObject_Namespace.bmp");
218      this.pluginIcons.Images.SetKeyName(2, "install.bmp");
219      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
220      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
221      //
222      // infoTextBox
223      //
224      this.infoTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
225      this.infoTextBox.Location = new System.Drawing.Point(0, 0);
226      this.infoTextBox.Name = "infoTextBox";
227      this.infoTextBox.Size = new System.Drawing.Size(828, 249);
228      this.infoTextBox.TabIndex = 0;
229      this.infoTextBox.Text = "";
230      //
231      // toolStrip
232      //
233      this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
234            this.updateButton,
235            this.upgradeButton,
236            this.toolStripSeparator,
237            this.installButton,
238            this.deleteButton,
239            this.toolStripSeparator1,
240            this.publishButton});
241      this.toolStrip.Location = new System.Drawing.Point(0, 24);
242      this.toolStrip.Name = "toolStrip";
243      this.toolStrip.Size = new System.Drawing.Size(828, 25);
244      this.toolStrip.TabIndex = 2;
245      this.toolStrip.Text = "toolStrip";
246      //
247      // updateButton
248      //
249      this.updateButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
250      this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
251      this.updateButton.ImageTransparentColor = System.Drawing.Color.Magenta;
252      this.updateButton.Name = "updateButton";
253      this.updateButton.Size = new System.Drawing.Size(46, 22);
254      this.updateButton.Text = "Update";
255      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
256      //
257      // upgradeButton
258      //
259      this.upgradeButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
260      this.upgradeButton.Image = ((System.Drawing.Image)(resources.GetObject("upgradeButton.Image")));
261      this.upgradeButton.ImageTransparentColor = System.Drawing.Color.Magenta;
262      this.upgradeButton.Name = "upgradeButton";
263      this.upgradeButton.Size = new System.Drawing.Size(132, 22);
264      this.upgradeButton.Text = "Delete/Upgrade/Install...";
265      this.upgradeButton.Click += new System.EventHandler(this.upgradeButton_Click);
266      //
267      // toolStripSeparator
268      //
269      this.toolStripSeparator.Name = "toolStripSeparator";
270      this.toolStripSeparator.Size = new System.Drawing.Size(6, 25);
271      //
272      // installButton
273      //
274      this.installButton.CheckOnClick = true;
275      this.installButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
276      this.installButton.Image = ((System.Drawing.Image)(resources.GetObject("installButton.Image")));
277      this.installButton.ImageTransparentColor = System.Drawing.Color.Magenta;
278      this.installButton.Name = "installButton";
279      this.installButton.Size = new System.Drawing.Size(40, 22);
280      this.installButton.Text = "&Install";
281      this.installButton.Click += new System.EventHandler(this.installButton_Clicked);
282      //
283      // deleteButton
284      //
285      this.deleteButton.CheckOnClick = true;
286      this.deleteButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
287      this.deleteButton.Image = ((System.Drawing.Image)(resources.GetObject("deleteButton.Image")));
288      this.deleteButton.ImageTransparentColor = System.Drawing.Color.Magenta;
289      this.deleteButton.Name = "deleteButton";
290      this.deleteButton.Size = new System.Drawing.Size(42, 22);
291      this.deleteButton.Text = "&Delete";
292      this.deleteButton.Click += new System.EventHandler(this.removeButton_Clicked);
293      //
294      // toolStripSeparator1
295      //
296      this.toolStripSeparator1.Name = "toolStripSeparator1";
297      this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
298      //
299      // publishButton
300      //
301      this.publishButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
302      this.publishButton.Image = ((System.Drawing.Image)(resources.GetObject("publishButton.Image")));
303      this.publishButton.ImageTransparentColor = System.Drawing.Color.Magenta;
304      this.publishButton.Name = "publishButton";
305      this.publishButton.Size = new System.Drawing.Size(44, 22);
306      this.publishButton.Text = "Publish";
307      this.publishButton.Click += new System.EventHandler(this.publishButton_Click);
308      //
309      // pluginContextMenuStrip
310      //
311      this.pluginContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
312            this.installMenuItem,
313            this.deleteMenuItem,
314            this.publishMenuItem});
315      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
316      this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
317      //
318      // installMenuItem
319      //
320      this.installMenuItem.Name = "installMenuItem";
321      this.installMenuItem.Size = new System.Drawing.Size(152, 22);
322      this.installMenuItem.Text = "Install";
323      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
324      //
325      // deleteMenuItem
326      //
327      this.deleteMenuItem.Name = "deleteMenuItem";
328      this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
329      this.deleteMenuItem.Text = "Delete";
330      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
331      //
332      // publishMenuItem
333      //
334      this.publishMenuItem.Name = "publishMenuItem";
335      this.publishMenuItem.Size = new System.Drawing.Size(152, 22);
336      this.publishMenuItem.Text = "Publish";
337      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
338      //
339      // ManagerForm
340      //
341      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
342      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
343      this.ClientSize = new System.Drawing.Size(828, 537);
344      this.Controls.Add(this.toolStrip);
345      this.Controls.Add(this.splitContainer);
346      this.Controls.Add(this.menuStrip);
347      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
348      this.MainMenuStrip = this.menuStrip;
349      this.Name = "ManagerForm";
350      this.Text = "Heuristiclab Pluginmanager Console";
351      this.menuStrip.ResumeLayout(false);
352      this.menuStrip.PerformLayout();
353      this.splitContainer.Panel1.ResumeLayout(false);
354      this.splitContainer.Panel2.ResumeLayout(false);
355      this.splitContainer.ResumeLayout(false);
356      this.toolStrip.ResumeLayout(false);
357      this.toolStrip.PerformLayout();
358      this.pluginContextMenuStrip.ResumeLayout(false);
359      this.ResumeLayout(false);
360      this.PerformLayout();
361
362    }
363
364    #endregion
365
366    private System.Windows.Forms.MenuStrip menuStrip;
367    private System.Windows.Forms.ToolStripMenuItem pluginsToolStripMenuItem;
368    private System.Windows.Forms.ToolStripMenuItem installedPluginsToolStripMenuItem;
369    private System.Windows.Forms.ToolStripMenuItem installNewPluginsToolStripMenuItem;
370    private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
371    private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
372    private System.Windows.Forms.ToolStripMenuItem managePluginSourcesToolStripMenuItem;
373    private System.Windows.Forms.SplitContainer splitContainer;
374    private System.Windows.Forms.TreeView pluginTreeView;
375    private System.Windows.Forms.RichTextBox infoTextBox;
376    private System.Windows.Forms.ToolStripMenuItem refreshPluginListToolStripMenuItem;
377    private System.Windows.Forms.ToolStrip toolStrip;
378    private System.Windows.Forms.ToolStripButton updateButton;
379    private System.Windows.Forms.ToolStripButton upgradeButton;
380    private System.Windows.Forms.ToolStripSeparator toolStripSeparator;
381    private System.Windows.Forms.ToolStripButton installButton;
382    private System.Windows.Forms.ToolStripButton deleteButton;
383    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
384    private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
385    private System.Windows.Forms.ToolStripButton publishButton;
386    private System.Windows.Forms.ContextMenuStrip pluginContextMenuStrip;
387    private System.Windows.Forms.ToolStripMenuItem installMenuItem;
388    private System.Windows.Forms.ToolStripMenuItem deleteMenuItem;
389    private System.Windows.Forms.ToolStripMenuItem publishMenuItem;
390    private System.Windows.Forms.ToolStripMenuItem installPluginFromFileToolStripMenuItem;
391    private System.Windows.Forms.ToolStripSeparator toolStripSeparator2;
392    private System.Windows.Forms.ToolStripSeparator toolStripSeparator3;
393    private System.Windows.Forms.ImageList pluginIcons;
394  }
395}
396
Note: See TracBrowser for help on using the repository browser.