Free cookie consent management tool by TermsFeed Policy Generator

Ignore:
Timestamp:
09/26/08 16:33:42 (16 years ago)
Author:
gkronber
Message:

merged r600 - r602 into 3.1 branch

File:
1 edited

Legend:

Unmodified
Added
Removed

  • branches/3.1/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs

    r140 r604  
    4646    private void InitializeComponent() {
    4747      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);
    4851      System.ComponentModel.ComponentResourceManager resources = new System.ComponentModel.ComponentResourceManager(typeof(ManagerForm));
    4952      this.menuStrip = new System.Windows.Forms.MenuStrip();
    … …  
    6063      this.aboutToolStripMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    6164      this.splitContainer = new System.Windows.Forms.SplitContainer();
    62       this.pluginTreeView = new System.Windows.Forms.TreeView();
     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();
    6369      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
    64       this.infoTextBox = new System.Windows.Forms.RichTextBox();
    6570      this.toolStrip = new System.Windows.Forms.ToolStrip();
    6671      this.updateButton = new System.Windows.Forms.ToolStripButton();
    … …  
    115120      //
    116121      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
    117       this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     122      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    118123      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
    119124      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
    … …  
    122127      //
    123128      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
    124       this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     129      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    125130      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
    126131      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
    … …  
    129134      //
    130135      this.toolStripSeparator2.Name = "toolStripSeparator2";
    131       this.toolStripSeparator2.Size = new System.Drawing.Size(192, 6);
     136      this.toolStripSeparator2.Size = new System.Drawing.Size(203, 6);
    132137      //
    133138      // installedPluginsToolStripMenuItem
    134139      //
    135140      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
    136       this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     141      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    137142      this.installedPluginsToolStripMenuItem.Text = "Update";
    138143      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
    … …  
    141146      //
    142147      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
    143       this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     148      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    144149      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
    145150      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
    … …  
    148153      //
    149154      this.toolStripSeparator3.Name = "toolStripSeparator3";
    150       this.toolStripSeparator3.Size = new System.Drawing.Size(192, 6);
     155      this.toolStripSeparator3.Size = new System.Drawing.Size(203, 6);
    151156      //
    152157      // refreshPluginListToolStripMenuItem
    153158      //
    154159      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
    155       this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     160      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    156161      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
    157162      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
    … …  
    160165      //
    161166      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    162       this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
     167      this.exitToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
    163168      this.exitToolStripMenuItem.Text = "Close";
    164169      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    175180      //
    176181      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    177       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(115, 22);
     182      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
    178183      this.aboutToolStripMenuItem.Text = "About...";
    179184      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
    … …  
    190195      // splitContainer.Panel1
    191196      //
    192       this.splitContainer.Panel1.Controls.Add(this.pluginTreeView);
     197      this.splitContainer.Panel1.Controls.Add(this.listView);
    193198      //
    194199      // splitContainer.Panel2
    … …  
    199204      this.splitContainer.TabIndex = 1;
    200205      //
    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;
    211       this.pluginTreeView.KeyPress += new System.Windows.Forms.KeyPressEventHandler(this.pluginTreeView_KeyPress);
    212       this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
    213       this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
     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 = "";
    214250      //
    215251      // pluginIcons
    … …  
    222258      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
    223259      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
    224       //
    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 = "";
    233260      //
    234261      // toolStrip
    … …  
    317344            this.publishMenuItem});
    318345      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
    319       this.pluginContextMenuStrip.Size = new System.Drawing.Size(108, 70);
     346      this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
    320347      //
    321348      // installMenuItem
    322349      //
    323350      this.installMenuItem.Name = "installMenuItem";
    324       this.installMenuItem.Size = new System.Drawing.Size(107, 22);
     351      this.installMenuItem.Size = new System.Drawing.Size(118, 22);
    325352      this.installMenuItem.Text = "Install";
    326353      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
    … …  
    329356      //
    330357      this.deleteMenuItem.Name = "deleteMenuItem";
    331       this.deleteMenuItem.Size = new System.Drawing.Size(107, 22);
     358      this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
    332359      this.deleteMenuItem.Text = "Delete";
    333360      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
    … …  
    336363      //
    337364      this.publishMenuItem.Name = "publishMenuItem";
    338       this.publishMenuItem.Size = new System.Drawing.Size(107, 22);
     365      this.publishMenuItem.Size = new System.Drawing.Size(118, 22);
    339366      this.publishMenuItem.Text = "Publish";
    340367      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
    … …  
    394421    private System.Windows.Forms.ToolStripMenuItem managePluginSourcesToolStripMenuItem;
    395422    private System.Windows.Forms.SplitContainer splitContainer;
    396     private System.Windows.Forms.TreeView pluginTreeView;
    397423    private System.Windows.Forms.RichTextBox infoTextBox;
    398424    private System.Windows.Forms.ToolStripMenuItem refreshPluginListToolStripMenuItem;
    … …  
    416442    private System.Windows.Forms.StatusStrip statusStrip1;
    417443    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;
    418447  }
    419448}
Note: See TracChangeset for help on using the changeset viewer.