A Tree which can be filtered or searched...

A Tree which can be filtered or searched...


Hey Guys,
Few weeks ago, I started a thread trying to inquire if there is a tree
similar to Ext GWT Filtertree written in jQuery yet. Checkout demo of
Filtertree here: http://www.extjs.com/explorer/#filtertree
It is also on the left hand side. If you start typing on filter box
above it automatically hides nodes and the parent of nodes that don't
match.
I'd prefer to have something similar that is not GWT which I don't
like as much as jQuery.
It was suggested I ask on this UI thread. So, has anyone seen or
developed anything like this in jQuery?
Thanks,
Ravish