Free cookie consent management tool by TermsFeed Policy Generator

Changeset 140


Ignore:
Timestamp:
04/20/08 11:26:49 (17 years ago)
Author:
gkronber
Message:

added a statusbar for the plugin-manager and display the number of installed, available, and upgradeable plugins. (ticket #32)

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

Legend:

Unmodified
Added
Removed

  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.cs

    r91 r140  
    116116        availableNode.ImageIndex = 0;
    117117        availablePlugins.Nodes.Add(availableNode);
    118 
    119118      });
    120119      upgrades.ForEach(delegate(PluginDescription upgrade) {
    … …  
    136135        currentPlugin.PluginDescription = overridingPlugin;
    137136      });
     137      toolStripStatusLabel.Text = "Installed: " + installedPlugins.Nodes.Count + " Updates: " + upgrades.Count + " Available: " + availablePlugins.Nodes.Count;
    138138      RebuildActionHulls();
    139139      pluginTreeView.Sort();
    … …  
    238238      dialog.Show();
    239239      worker.RunWorkerAsync();
    240 
    241       // NOTE: ignore version conflicts
    242240    }
    243241

  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.designer.cs

    r18 r140  
    7575      this.deleteMenuItem = new System.Windows.Forms.ToolStripMenuItem();
    7676      this.publishMenuItem = new System.Windows.Forms.ToolStripMenuItem();
     77      this.statusStrip1 = new System.Windows.Forms.StatusStrip();
     78      this.toolStripStatusLabel = new System.Windows.Forms.ToolStripStatusLabel();
    7779      this.menuStrip.SuspendLayout();
    7880      this.splitContainer.Panel1.SuspendLayout();
    … …  
    8183      this.toolStrip.SuspendLayout();
    8284      this.pluginContextMenuStrip.SuspendLayout();
     85      this.statusStrip1.SuspendLayout();
    8386      this.SuspendLayout();
    8487      //
    … …  
    112115      //
    113116      this.managePluginSourcesToolStripMenuItem.Name = "managePluginSourcesToolStripMenuItem";
    114       this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
     117      this.managePluginSourcesToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    115118      this.managePluginSourcesToolStripMenuItem.Text = "Edit plugin sources...";
    116119      this.managePluginSourcesToolStripMenuItem.Click += new System.EventHandler(this.managePluginSourcesToolStripMenuItem_Click);
    … …  
    119122      //
    120123      this.installPluginFromFileToolStripMenuItem.Name = "installPluginFromFileToolStripMenuItem";
    121       this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
     124      this.installPluginFromFileToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    122125      this.installPluginFromFileToolStripMenuItem.Text = "Install plugin from file...";
    123126      this.installPluginFromFileToolStripMenuItem.Click += new System.EventHandler(this.installPluginFromFileToolStripMenuItem_Click);
    … …  
    126129      //
    127130      this.toolStripSeparator2.Name = "toolStripSeparator2";
    128       this.toolStripSeparator2.Size = new System.Drawing.Size(211, 6);
     131      this.toolStripSeparator2.Size = new System.Drawing.Size(192, 6);
    129132      //
    130133      // installedPluginsToolStripMenuItem
    131134      //
    132135      this.installedPluginsToolStripMenuItem.Name = "installedPluginsToolStripMenuItem";
    133       this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
     136      this.installedPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    134137      this.installedPluginsToolStripMenuItem.Text = "Update";
    135138      this.installedPluginsToolStripMenuItem.Click += new System.EventHandler(this.updateButton_Click);
    … …  
    138141      //
    139142      this.installNewPluginsToolStripMenuItem.Name = "installNewPluginsToolStripMenuItem";
    140       this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(206, 22);
     143      this.installNewPluginsToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    141144      this.installNewPluginsToolStripMenuItem.Text = "Delete/Upgrade/Install...";
    142145      this.installNewPluginsToolStripMenuItem.Click += new System.EventHandler(this.upgradeButton_Click);
    … …  
    145148      //
    146149      this.toolStripSeparator3.Name = "toolStripSeparator3";
    147       this.toolStripSeparator3.Size = new System.Drawing.Size(211, 6);
     150      this.toolStripSeparator3.Size = new System.Drawing.Size(192, 6);
    148151      //
    149152      // refreshPluginListToolStripMenuItem
    150153      //
    151154      this.refreshPluginListToolStripMenuItem.Name = "refreshPluginListToolStripMenuItem";
    152       this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
     155      this.refreshPluginListToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    153156      this.refreshPluginListToolStripMenuItem.Text = "Refresh plugin list";
    154157      this.refreshPluginListToolStripMenuItem.Click += new System.EventHandler(this.refreshPluginListToolStripMenuItem_Click);
    … …  
    157160      //
    158161      this.exitToolStripMenuItem.Name = "exitToolStripMenuItem";
    159       this.exitToolStripMenuItem.Size = new System.Drawing.Size(214, 22);
     162      this.exitToolStripMenuItem.Size = new System.Drawing.Size(195, 22);
    160163      this.exitToolStripMenuItem.Text = "Close";
    161164      this.exitToolStripMenuItem.Click += new System.EventHandler(this.closeToolStripMenuItem_Click);
    … …  
    172175      //
    173176      this.aboutToolStripMenuItem.Name = "aboutToolStripMenuItem";
    174       this.aboutToolStripMenuItem.Size = new System.Drawing.Size(126, 22);
     177      this.aboutToolStripMenuItem.Size = new System.Drawing.Size(115, 22);
    175178      this.aboutToolStripMenuItem.Text = "About...";
    176179      this.aboutToolStripMenuItem.Click += new System.EventHandler(this.aboutToolStripMenuItem_Click);
    … …  
    314317            this.publishMenuItem});
    315318      this.pluginContextMenuStrip.Name = "pluginContextMenuStrip";
    316       this.pluginContextMenuStrip.Size = new System.Drawing.Size(119, 70);
     319      this.pluginContextMenuStrip.Size = new System.Drawing.Size(108, 70);
    317320      //
    318321      // installMenuItem
    319322      //
    320323      this.installMenuItem.Name = "installMenuItem";
    321       this.installMenuItem.Size = new System.Drawing.Size(152, 22);
     324      this.installMenuItem.Size = new System.Drawing.Size(107, 22);
    322325      this.installMenuItem.Text = "Install";
    323326      this.installMenuItem.Click += new System.EventHandler(this.installButton_Clicked);
    … …  
    326329      //
    327330      this.deleteMenuItem.Name = "deleteMenuItem";
    328       this.deleteMenuItem.Size = new System.Drawing.Size(118, 22);
     331      this.deleteMenuItem.Size = new System.Drawing.Size(107, 22);
    329332      this.deleteMenuItem.Text = "Delete";
    330333      this.deleteMenuItem.Click += new System.EventHandler(this.removeButton_Clicked);
    … …  
    333336      //
    334337      this.publishMenuItem.Name = "publishMenuItem";
    335       this.publishMenuItem.Size = new System.Drawing.Size(152, 22);
     338      this.publishMenuItem.Size = new System.Drawing.Size(107, 22);
    336339      this.publishMenuItem.Text = "Publish";
    337340      this.publishMenuItem.Click += new System.EventHandler(this.publishButton_Click);
     341      //
     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";
    338357      //
    339358      // ManagerForm
    … …  
    342361      this.AutoScaleMode = System.Windows.Forms.AutoScaleMode.Font;
    343362      this.ClientSize = new System.Drawing.Size(828, 537);
     363      this.Controls.Add(this.statusStrip1);
    344364      this.Controls.Add(this.toolStrip);
    345365      this.Controls.Add(this.splitContainer);
    … …  
    357377      this.toolStrip.PerformLayout();
    358378      this.pluginContextMenuStrip.ResumeLayout(false);
     379      this.statusStrip1.ResumeLayout(false);
     380      this.statusStrip1.PerformLayout();
    359381      this.ResumeLayout(false);
    360382      this.PerformLayout();
    … …  
    392414    private System.Windows.Forms.ToolStripSeparator toolStripSeparator3;
    393415    private System.Windows.Forms.ImageList pluginIcons;
     416    private System.Windows.Forms.StatusStrip statusStrip1;
     417    private System.Windows.Forms.ToolStripStatusLabel toolStripStatusLabel;
    394418  }
    395419}

  • trunk/sources/HeuristicLab.PluginInfrastructure.GUI/ManagerForm.resx

    r18 r140  
    290290    <value>212, 17</value>
    291291  </metadata>
     292  <metadata name="statusStrip1.TrayLocation" type="System.Drawing.Point, System.Drawing, Version=2.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a">
     293    <value>490, 17</value>
     294  </metadata>
    292295  <data name="$this.Icon" type="System.Drawing.Icon, System.Drawing" mimetype="application/x-microsoft.net.object.bytearray.base64">
    293296    <value>
Note: See TracChangeset for help on using the changeset viewer.