Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#172 Plugin Manager Install Pane Filter Field

v5.2
closed-fixed
nobody
None
5
2014-03-24
2007-10-03
Frank
No

I would appreciate if by typing the first letters of a plug in name, the selection would jump to the plug in.

Discussion

  • Alan Ezust
    Alan Ezust
    2014-03-24

    • summary: Plugins Manager navigation --> Plugin Manager Install Pane Filter Field
    • Description has changed:

    Diff:

    --- old
    +++ new
    @@ -1,4 +1,2 @@
     I would appreciate if by typing the first letters of a plug in name, the selection would jump to the plug in.
    
    -By the way the same is valid for all lists and trees.
    -\(the help tree for instance\)
    
    • status: open --> closed-fixed
    • Group: --> v5.2
     
  • Alan Ezust
    Alan Ezust
    2014-03-24

    This is done in jEdit 5.0