Changeset 15


Ignore:
Timestamp:
02/20/08 14:16:34 (13 years ago)
Author:
gkronber
Message:

fixes #20

Location:
trunk/sources/HeuristicLab.PluginInfrastructure.GUI
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs

    r11 r15  
    139139      });
    140140      RebuildActionHulls();
     141      pluginTreeView.Sort();
    141142    }
    142143
  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs

    r2 r15  
    6161      this.splitContainer = new System.Windows.Forms.SplitContainer();
    6262      this.pluginTreeView = new System.Windows.Forms.TreeView();
     63      this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
    6364      this.infoTextBox = new System.Windows.Forms.RichTextBox();
    6465      this.toolStrip = new System.Windows.Forms.ToolStrip();
     
    7475      this.removeMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    7576      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    76       this.pluginIcons = new System.Windows.Forms.ImageList(this.components);
    7777      this.menuStrip.SuspendLayout();
    7878      this.splitContainer.Panel1.SuspendLayout();
     
    112112      //
    113113      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
    114       this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     114      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    115115      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
    116116      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
     
    119119      //
    120120      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
    121       this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     121      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    122122      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
    123123      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
     
    126126      //
    127127      this.toolStripSeparator2.Name = "toolStripSeparator2";
    128       this.toolStripSeparator2.Size = new System.Drawing.Size(200, 6);
     128      this.toolStripSeparator2.Size = new System.Drawing.Size(211, 6);
    129129      //
    130130      // installedPluginsToolStripMenuItem
    131131      //
    132132      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
    133       this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     133      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    134134      this.installedPluginsToolStripMenuItem.Text = "Update";
    135135      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
     
    138138      //
    139139      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
    140       this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     140      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    141141      this.installNewPluginsToolStripMenuItem.Text = "Remove/Upgrade/Install...";
    142142      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
     
    145145      //
    146146      this.toolStripSeparator3.Name = "toolStripSeparator3";
    147       this.toolStripSeparator3.Size = new System.Drawing.Size(200, 6);
     147      this.toolStripSeparator3.Size = new System.Drawing.Size(211, 6);
    148148      //
    149149      // refreshPluginListToolStripMenuItem
    150150      //
    151151      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
    152       this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     152      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    153153      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
    154154      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
     
    157157      //
    158158      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    159       this.exitToolStripMenuItem.Size = new System.Drawing.Size(203, 22);
     159      this.exitToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
    160160      this.exitToolStripMenuItem.Text = "Close";
    161161      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
     
    172172      //
    173173      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    174       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(115, 22);
     174      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
    175175      this.aboutToolStripMenuItem.Text = "About...";
    176176      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
     
    208208      this.pluginTreeView.NodeMouseClick += new System.Windows.Forms.TreeNodeMouseClickEventHandler(this.pluginTreeView_NodeMouseClick);
    209209      this.pluginTreeView.BeforeSelect += new System.Windows.Forms.TreeViewCancelEventHandler(this.pluginTreeView_BeforeSelect);
     210      //
     211      // pluginIcons
     212      //
     213      this.pluginIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("pluginIcons.ImageStream")));
     214      this.pluginIcons.TransparentColor = System.Drawing.Color.Magenta;
     215      this.pluginIcons.Images.SetKeyName(0, "VSObject_Module.bmp");
     216      this.pluginIcons.Images.SetKeyName(1, "VSObject_Namespace.bmp");
     217      this.pluginIcons.Images.SetKeyName(2, "install.bmp");
     218      this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
     219      this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
    210220      //
    211221      // infoTextBox
     
    241251      this.updateButton.Name = "updateButton";
    242252      this.updateButton.Size = new System.Drawing.Size(46, 22);
    243       this.updateButton.Text = "Update";
     253      this.updateButton.Text = "U&pdate";
    244254      this.updateButton.Click += new System.EventHandler(this.updateButton_Click);
    245255      //
     
    251261      this.upgradeButton.Name = "upgradeButton";
    252262      this.upgradeButton.Size = new System.Drawing.Size(140, 22);
    253       this.upgradeButton.Text = "Remove/Upgrade/Install...";
     263      this.upgradeButton.Text = "Remove/&Upgrade/Install...";
    254264      this.upgradeButton.Click += new System.EventHandler(this.upgradeButton_Click);
    255265      //
     
    267277      this.installButton.Name = "installButton";
    268278      this.installButton.Size = new System.Drawing.Size(40, 22);
    269       this.installButton.Text = "Install";
     279      this.installButton.Text = "&Install";
    270280      this.installButton.Click += new System.EventHandler(this.installButton_Clicked);
    271281      //
     
    278288      this.removeButton.Name = "removeButton";
    279289      this.removeButton.Size = new System.Drawing.Size(50, 22);
    280       this.removeButton.Text = "Remove";
     290      this.removeButton.Text = "&Remove";
    281291      this.removeButton.Click += new System.EventHandler(this.removeButton_Clicked);
    282292      //
     
    303313            this.publishMenuItem});
    304314      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
    305       this.pluginContextMenuStrip.Size = new System.Drawing.Size(114, 70);
     315      this.pluginContextMenuStrip.Size = new System.Drawing.Size(125, 70);
    306316      //
    307317      // installMenuItem
    308318      //
    309319      this.installMenuItem.Name = "installMenuItem";
    310       this.installMenuItem.Size = new System.Drawing.Size(113, 22);
     320      this.installMenuItem.Size = new System.Drawing.Size(124, 22);
    311321      this.installMenuItem.Text = "Install";
    312322      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
     
    315325      //
    316326      this.removeMenuItem.Name = "removeMenuItem";
    317       this.removeMenuItem.Size = new System.Drawing.Size(113, 22);
     327      this.removeMenuItem.Size = new System.Drawing.Size(124, 22);
    318328      this.removeMenuItem.Text = "Remove";
    319329      this.removeMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
     
    322332      //
    323333      this.publishMenuItem.Name = "publishMenuItem";
    324       this.publishMenuItem.Size = new System.Drawing.Size(113, 22);
     334      this.publishMenuItem.Size = new System.Drawing.Size(124, 22);
    325335      this.publishMenuItem.Text = "Publish";
    326336      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
    327       //
    328       // pluginIcons
    329       //
    330       this.pluginIcons.ImageStream = ((System.Windows.Forms.ImageListStreamer)(resources.GetObject("pluginIcons.ImageStream")));
    331       this.pluginIcons.TransparentColor = System.Drawing.Color.Magenta;
    332       this.pluginIcons.Images.SetKeyName(0, "VSObject_Module.bmp");
    333       this.pluginIcons.Images.SetKeyName(1, "VSObject_Namespace.bmp");
    334       this.pluginIcons.Images.SetKeyName(2, "install.bmp");
    335       this.pluginIcons.Images.SetKeyName(3, "delete.bmp");
    336       this.pluginIcons.Images.SetKeyName(4, "genericInternet.bmp");
    337337      //
    338338      // ManagerForm
Note: See TracChangeset for help on using the changeset viewer.