#367 Plugin manager category filter

closed-rejected
nobody
None
5
2011-02-28
2010-11-10
Damien
No

This patch adds a combo box at the top of the plugin manager's install panel that lets the user filter the plugin list by category, and is a good first step to making the plugin list less intimidating for those not completely familiar with it. The list of category names is generated dynamically the first time the plugin model is updated, defaulting to "All." Selecting a category refreshes the list to display only plugins from that category.

In addition to this, I would like to pitch an idea for re-naming "Java-Centric" and "HTML & XML" to "Language Support: Java" and "Language Support: HTML & XML" respectively, and add subcategories to the other Language Support plugins. How difficult would it be to rename these? Having a single filter-able category for language support would be nice, and the preference enjoyed by HTML/XML and Java tends to overshadow jEdit's language versatility.

Discussion

  • Damien
    Damien
    2010-11-10

     
    Attachments
    • status: open --> pending-rejected
     
  • Is this patch still necessary now that a filter has been added to the Install panel ?

     
  • Damien
    Damien
    2011-02-18

    This patch is probably not necessary at this point, but it does do something different than the current filter that I believe would be useful. The current filter uses entered text for the name and description, but mine has a list of the categories to allow hiding all plugins not in the chosen category.

    The current filter is very useful if you already know what you're looking for, but the idea behind mine was to make it easier for people not familiar with the plugin list to learn what's there; basically to make the install panel look less like a wall of text. There are other options that I might look into, like switching to a more tree-based layout.

    Go ahead and reject this patch, since even if it was accepted now, the install panel would look pretty crowded with the current filter in there too.

     
  • This Tracker item was closed automatically by the system. It was
    previously set to a Pending status, and the original submitter
    did not respond within 14 days (the time period specified by
    the administrator of this Tracker).

     
    • status: pending-rejected --> closed-rejected