Please provide a way to filter the tree

Brought to you by: fabioz

#344 Please provide a way to filter the tree

Status: open

Owner: nobody

Labels: Interface Improvements (example) (156)

Priority: 5

Updated: 2009-03-02

Created: 2009-03-02

Creator:

Private: No

It would be great if pydev have feature to filter the tree like in that article: http://jmesnil.net/weblog/2007/02/26/add-a-filter-to-a-treeviewer/