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

Last change on this file since 602 was 602, checked in by gkronber, 14 years ago

fixed #99 (Possibility to publish multiple plugins in one action)

File size: 22.6 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.Windows.Forms.ListViewGroup listViewGroup1 = new System.Windows.Forms.ListViewGroup("Available plugins", System.Windows.Forms.HorizontalAlignment.Left);
49      System.Windows.Forms.ListViewGroup listViewGroup2 = new System.Windows.Forms.ListViewGroup("Disabled plugins", System.Windows.Forms.HorizontalAlignment.Left);
50      System.Windows.Forms.ListViewGroup listViewGroup3 = new System.Windows.Forms.ListViewGroup("Installed plugins", System.Windows.Forms.HorizontalAlignment.Left);
51      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ManagerForm));
52      this.menuStrip = new System.Windows.Forms.MenuStrip();
53      this.pluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
54      this.managePluginSourcesToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
55      this.installPluginFromFileToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
56      this.toolStripSeparator2 = new System.Windows.Forms.ToolStripSeparator();
57      this.installedPluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
58      this.installNewPluginsToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
59      this.toolStripSeparator3 = new System.Windows.Forms.ToolStripSeparator();
60      this.refreshPluginListToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
61      this.exitToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
62      this.helpToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
63      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
64      this.splitContainer = new System.Windows.Forms.SplitContainer();
65      this.listView = new System.Windows.Forms.ListView();
66      this.nameHeader = new System.Windows.Forms.ColumnHeader();
67      this.versionHeader = new System.Windows.Forms.ColumnHeader();
68      this.infoTextBox = new System.Windows.Forms.RichTextBox();
69      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
70      this.toolStrip = new System.Windows.Forms.ToolStrip();
71      this.updateButton = new System.Windows.Forms.ToolStripButton();
72      this.upgradeButton = new System.Windows.Forms.ToolStripButton();
73      this.toolStripSeparator = new System.Windows.Forms.ToolStripSeparator();
74      this.installButton = new System.Windows.Forms.ToolStripButton();
75      this.deleteButton = new System.Windows.Forms.ToolStripButton();
76      this.toolStripSeparator1 = new System.Windows.Forms.ToolStripSeparator();
77      this.publishButton = new System.Windows.Forms.ToolStripButton();
78      this.pluginContextMenuStrip = new System.Windows.Forms.ContextMenuStrip(this.components);
79      this.installMenuItem = new System.Windows.Forms.ToolStripMenuItem();
80      this.deleteMenuItem = new System.Windows.Forms.ToolStripMenuItem();
81      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
82      this.statusStrip1 = new System.Windows.Forms.StatusStrip();
83      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
84      this.menuStrip.SuspendLayout();
85      this.splitContainer.Panel1.SuspendLayout();
86      this.splitContainer.Panel2.SuspendLayout();
87      this.splitContainer.SuspendLayout();
88      this.toolStrip.SuspendLayout();
89      this.pluginContextMenuStrip.SuspendLayout();
90      this.statusStrip1.SuspendLayout();
91      this.SuspendLayout();
92      //
93      // menuStrip
94      //
95      this.menuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
96            this.pluginsToolStripMenuItem,
97            this.helpToolStripMenuItem});
98      this.menuStrip.Location = new System.Drawing.Point(0, 0);
99      this.menuStrip.Name = "menuStrip";
100      this.menuStrip.Size = new System.Drawing.Size(828, 24);
101      this.menuStrip.TabIndex = 0;
102      this.menuStrip.Text = "menuStrip";
103      //
104      // pluginsToolStripMenuItem
105      //
106      this.pluginsToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
107            this.managePluginSourcesToolStripMenuItem,
108            this.installPluginFromFileToolStripMenuItem,
109            this.toolStripSeparator2,
110            this.installedPluginsToolStripMenuItem,
111            this.installNewPluginsToolStripMenuItem,
112            this.toolStripSeparator3,
113            this.refreshPluginListToolStripMenuItem,
114            this.exitToolStripMenuItem});
115      this.pluginsToolStripMenuItem.Name = "pluginsToolStripMenuItem";
116      this.pluginsToolStripMenuItem.Size = new System.Drawing.Size(52, 20);
117      this.pluginsToolStripMenuItem.Text = "Plugins";
118      //
119      // managePluginSourcesToolStripMenuItem
120      //
121      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
122      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
123      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
124      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
125      //
126      // installPluginFromFileToolStripMenuItem
127      //
128      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
129      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
130      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
131      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
132      //
133      // toolStripSeparator2
134      //
135      this.toolStripSeparator2.Name = "toolStripSeparator2";
136      this.toolStripSeparator2.Size = new System.Drawing.Size(203, 6);
137      //
138      // installedPluginsToolStripMenuItem
139      //
140      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
141      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
142      this.installedPluginsToolStripMenuItem.Text = "Update";
143      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
144      //
145      // installNewPluginsToolStripMenuItem
146      //
147      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
148      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
149      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
150      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
151      //
152      // toolStripSeparator3
153      //
154      this.toolStripSeparator3.Name = "toolStripSeparator3";
155      this.toolStripSeparator3.Size = new System.Drawing.Size(203, 6);
156      //
157      // refreshPluginListToolStripMenuItem
158      //
159      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
160      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
161      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
162      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
163      //
164      // exitToolStripMenuItem
165      //
166      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
167      this.exitToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
168      this.exitToolStripMenuItem.Text = "Close";
169      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
170      //
171      // helpToolStripMenuItem
172      //
173      this.helpToolStripMenuItem.DropDownItems.AddRange(new System.Windows.Forms.ToolStripItem[] {
174            this.aboutToolStripMenuItem});
175      this.helpToolStripMenuItem.Name = "helpToolStripMenuItem";
176      this.helpToolStripMenuItem.Size = new System.Drawing.Size(40, 20);
177      this.helpToolStripMenuItem.Text = "Help";
178      //
179      // aboutToolStripMenuItem
180      //
181      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
182      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
183      this.aboutToolStripMenuItem.Text = "About...";
184      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
185      //
186      // splitContainer
187      //
188      this.splitContainer.Anchor = ((System.Windows.Forms.AnchorStyles)((((System.Windows.Forms.AnchorStyles.Top | System.Windows.Forms.AnchorStyles.Bottom)
189                  | System.Windows.Forms.AnchorStyles.Left)
190                  | System.Windows.Forms.AnchorStyles.Right)));
191      this.splitContainer.Location = new System.Drawing.Point(0, 52);
192      this.splitContainer.Name = "splitContainer";
193      this.splitContainer.Orientation = System.Windows.Forms.Orientation.Horizontal;
194      //
195      // splitContainer.Panel1
196      //
197      this.splitContainer.Panel1.Controls.Add(this.listView);
198      //
199      // splitContainer.Panel2
200      //
201      this.splitContainer.Panel2.Controls.Add(this.infoTextBox);
202      this.splitContainer.Size = new System.Drawing.Size(828, 473);
203      this.splitContainer.SplitterDistance = 220;
204      this.splitContainer.TabIndex = 1;
205      //
206      // listView
207      //
208      this.listView.Columns.AddRange(new System.Windows.Forms.ColumnHeader[] {
209            this.nameHeader,
210            this.versionHeader});
211      this.listView.ContextMenuStrip = this.pluginContextMenuStrip;
212      this.listView.Dock = System.Windows.Forms.DockStyle.Fill;
213      listViewGroup1.Header = "Available plugins";
214      listViewGroup1.Name = "Available plugins";
215      listViewGroup2.Header = "Disabled plugins";
216      listViewGroup2.Name = "Disabled plugins";
217      listViewGroup3.Header = "Installed plugins";
218      listViewGroup3.Name = "Installed plugins";
219      this.listView.Groups.AddRange(new System.Windows.Forms.ListViewGroup[] {
220            listViewGroup1,
221            listViewGroup2,
222            listViewGroup3});
223      this.listView.Location = new System.Drawing.Point(0, 0);
224      this.listView.Name = "listView";
225      this.listView.Size = new System.Drawing.Size(828, 220);
226      this.listView.SmallImageList = this.pluginIcons;
227      this.listView.TabIndex = 0;
228      this.listView.UseCompatibleStateImageBehavior = false;
229      this.listView.MouseDown += new System.Windows.Forms.MouseEventHandler(this.listView_MouseDown);
230      this.listView.ItemSelectionChanged += new System.Windows.Forms.ListViewItemSelectionChangedEventHandler(this.listView_ItemSelectionChanged);
231      this.listView.KeyDown += new System.Windows.Forms.KeyEventHandler(this.pluginTreeView_KeyDown);
232      //
233      // nameHeader
234      //
235      this.nameHeader.Text = "Name";
236      this.nameHeader.Width = 400;
237      //
238      // versionHeader
239      //
240      this.versionHeader.Text = "Version";
241      //
242      // infoTextBox
243      //
244      this.infoTextBox.Dock = System.Windows.Forms.DockStyle.Fill;
245      this.infoTextBox.Location = new System.Drawing.Point(0, 0);
246      this.infoTextBox.Name = "infoTextBox";
247      this.infoTextBox.Size = new System.Drawing.Size(828, 249);
248      this.infoTextBox.TabIndex = 0;
249      this.infoTextBox.Text = "";
250      //
251      // pluginIcons
252      //
253      this.pluginIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("pluginIcons.ImageStream")));
254      this.pluginIcons.TransparentColor = System.Drawing.Color.Magenta;
255      this.pluginIcons.Images.SetKeyName(0, "VSObject_Module.bmp");
256      this.pluginIcons.Images.SetKeyName(1, "VSObject_Namespace.bmp");
257      this.pluginIcons.Images.SetKeyName(2, "install.bmp");
258      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
259      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
260      //
261      // toolStrip
262      //
263      this.toolStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
264            this.updateButton,
265            this.upgradeButton,
266            this.toolStripSeparator,
267            this.installButton,
268            this.deleteButton,
269            this.toolStripSeparator1,
270            this.publishButton});
271      this.toolStrip.Location = new System.Drawing.Point(0, 24);
272      this.toolStrip.Name = "toolStrip";
273      this.toolStrip.Size = new System.Drawing.Size(828, 25);
274      this.toolStrip.TabIndex = 2;
275      this.toolStrip.Text = "toolStrip";
276      //
277      // updateButton
278      //
279      this.updateButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
280      this.updateButton.Image = ((System.Drawing.Image)(resources.GetObject("updateButton.Image")));
281      this.updateButton.ImageTransparentColor = System.Drawing.Color.Magenta;
282      this.updateButton.Name = "updateButton";
283      this.updateButton.Size = new System.Drawing.Size(46, 22);
284      this.updateButton.Text = "Update";
285      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
286      //
287      // upgradeButton
288      //
289      this.upgradeButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
290      this.upgradeButton.Image = ((System.Drawing.Image)(resources.GetObject("upgradeButton.Image")));
291      this.upgradeButton.ImageTransparentColor = System.Drawing.Color.Magenta;
292      this.upgradeButton.Name = "upgradeButton";
293      this.upgradeButton.Size = new System.Drawing.Size(132, 22);
294      this.upgradeButton.Text = "Delete/Upgrade/Install...";
295      this.upgradeButton.Click += new System.EventHandler(this.upgradeButton_Click);
296      //
297      // toolStripSeparator
298      //
299      this.toolStripSeparator.Name = "toolStripSeparator";
300      this.toolStripSeparator.Size = new System.Drawing.Size(6, 25);
301      //
302      // installButton
303      //
304      this.installButton.CheckOnClick = true;
305      this.installButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
306      this.installButton.Image = ((System.Drawing.Image)(resources.GetObject("installButton.Image")));
307      this.installButton.ImageTransparentColor = System.Drawing.Color.Magenta;
308      this.installButton.Name = "installButton";
309      this.installButton.Size = new System.Drawing.Size(40, 22);
310      this.installButton.Text = "&Install";
311      this.installButton.Click += new System.EventHandler(this.installButton_Clicked);
312      //
313      // deleteButton
314      //
315      this.deleteButton.CheckOnClick = true;
316      this.deleteButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
317      this.deleteButton.Image = ((System.Drawing.Image)(resources.GetObject("deleteButton.Image")));
318      this.deleteButton.ImageTransparentColor = System.Drawing.Color.Magenta;
319      this.deleteButton.Name = "deleteButton";
320      this.deleteButton.Size = new System.Drawing.Size(42, 22);
321      this.deleteButton.Text = "&Delete";
322      this.deleteButton.Click += new System.EventHandler(this.removeButton_Clicked);
323      //
324      // toolStripSeparator1
325      //
326      this.toolStripSeparator1.Name = "toolStripSeparator1";
327      this.toolStripSeparator1.Size = new System.Drawing.Size(6, 25);
328      //
329      // publishButton
330      //
331      this.publishButton.DisplayStyle = System.Windows.Forms.ToolStripItemDisplayStyle.Text;
332      this.publishButton.Image = ((System.Drawing.Image)(resources.GetObject("publishButton.Image")));
333      this.publishButton.ImageTransparentColor = System.Drawing.Color.Magenta;
334      this.publishButton.Name = "publishButton";
335      this.publishButton.Size = new System.Drawing.Size(44, 22);
336      this.publishButton.Text = "Publish";
337      this.publishButton.Click += new System.EventHandler(this.publishButton_Click);
338      //
339      // pluginContextMenuStrip
340      //
341      this.pluginContextMenuStrip.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
342            this.installMenuItem,
343            this.deleteMenuItem,
344            this.publishMenuItem});
345      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
346      this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
347      //
348      // installMenuItem
349      //
350      this.installMenuItem.Name = "installMenuItem";
351      this.installMenuItem.Size = new System.Drawing.Size(118, 22);
352      this.installMenuItem.Text = "Install";
353      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
354      //
355      // deleteMenuItem
356      //
357      this.deleteMenuItem.Name = "deleteMenuItem";
358      this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
359      this.deleteMenuItem.Text = "Delete";
360      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
361      //
362      // publishMenuItem
363      //
364      this.publishMenuItem.Name = "publishMenuItem";
365      this.publishMenuItem.Size = new System.Drawing.Size(118, 22);
366      this.publishMenuItem.Text = "Publish";
367      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
368      //
369      // statusStrip1
370      //
371      this.statusStrip1.Items.AddRange(new System.Windows.Forms.ToolStripItem[] {
372            this.toolStripStatusLabel});
373      this.statusStrip1.Location = new System.Drawing.Point(0, 515);
374      this.statusStrip1.Name = "statusStrip1";
375      this.statusStrip1.Size = new System.Drawing.Size(828, 22);
376      this.statusStrip1.TabIndex = 3;
377      this.statusStrip1.Text = "statusStrip1";
378      //
379      // toolStripStatusLabel
380      //
381      this.toolStripStatusLabel.Name = "toolStripStatusLabel";
382      this.toolStripStatusLabel.Size = new System.Drawing.Size(103, 17);
383      this.toolStripStatusLabel.Text = "toolStripStatusLabel";
384      //
385      // ManagerForm
386      //
387      this.AutoScaleDimensions = new System.Drawing.SizeF(6F, 13F);
388      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
389      this.ClientSize = new System.Drawing.Size(828, 537);
390      this.Controls.Add(this.statusStrip1);
391      this.Controls.Add(this.toolStrip);
392      this.Controls.Add(this.splitContainer);
393      this.Controls.Add(this.menuStrip);
394      this.Icon = ((System.Drawing.Icon)(resources.GetObject("$this.Icon")));
395      this.MainMenuStrip = this.menuStrip;
396      this.Name = "ManagerForm";
397      this.Text = "Heuristiclab Pluginmanager Console";
398      this.menuStrip.ResumeLayout(false);
399      this.menuStrip.PerformLayout();
400      this.splitContainer.Panel1.ResumeLayout(false);
401      this.splitContainer.Panel2.ResumeLayout(false);
402      this.splitContainer.ResumeLayout(false);
403      this.toolStrip.ResumeLayout(false);
404      this.toolStrip.PerformLayout();
405      this.pluginContextMenuStrip.ResumeLayout(false);
406      this.statusStrip1.ResumeLayout(false);
407      this.statusStrip1.PerformLayout();
408      this.ResumeLayout(false);
409      this.PerformLayout();
410
411    }
412
413    #endregion
414
415    private System.Windows.Forms.MenuStrip menuStrip;
416    private System.Windows.Forms.ToolStripMenuItem pluginsToolStripMenuItem;
417    private System.Windows.Forms.ToolStripMenuItem installedPluginsToolStripMenuItem;
418    private System.Windows.Forms.ToolStripMenuItem installNewPluginsToolStripMenuItem;
419    private System.Windows.Forms.ToolStripMenuItem helpToolStripMenuItem;
420    private System.Windows.Forms.ToolStripMenuItem aboutToolStripMenuItem;
421    private System.Windows.Forms.ToolStripMenuItem managePluginSourcesToolStripMenuItem;
422    private System.Windows.Forms.SplitContainer splitContainer;
423    private System.Windows.Forms.RichTextBox infoTextBox;
424    private System.Windows.Forms.ToolStripMenuItem refreshPluginListToolStripMenuItem;
425    private System.Windows.Forms.ToolStrip toolStrip;
426    private System.Windows.Forms.ToolStripButton updateButton;
427    private System.Windows.Forms.ToolStripButton upgradeButton;
428    private System.Windows.Forms.ToolStripSeparator toolStripSeparator;
429    private System.Windows.Forms.ToolStripButton installButton;
430    private System.Windows.Forms.ToolStripButton deleteButton;
431    private System.Windows.Forms.ToolStripMenuItem exitToolStripMenuItem;
432    private System.Windows.Forms.ToolStripSeparator toolStripSeparator1;
433    private System.Windows.Forms.ToolStripButton publishButton;
434    private System.Windows.Forms.ContextMenuStrip pluginContextMenuStrip;
435    private System.Windows.Forms.ToolStripMenuItem installMenuItem;
436    private System.Windows.Forms.ToolStripMenuItem deleteMenuItem;
437    private System.Windows.Forms.ToolStripMenuItem publishMenuItem;
438    private System.Windows.Forms.ToolStripMenuItem installPluginFromFileToolStripMenuItem;
439    private System.Windows.Forms.ToolStripSeparator toolStripSeparator2;
440    private System.Windows.Forms.ToolStripSeparator toolStripSeparator3;
441    private System.Windows.Forms.ImageList pluginIcons;
442    private System.Windows.Forms.StatusStrip statusStrip1;
443    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
444    private System.Windows.Forms.ListView listView;
445    private System.Windows.Forms.ColumnHeader nameHeader;
446    private System.Windows.Forms.ColumnHeader versionHeader;
447  }
448}
449
Note: See TracBrowser for help on using the repository browser.