Filtering server list
Hi. So I have a lot of servers in various branches/directories. Would be nice to be able to quickly find a server by filtering by any apart of the name or folder name.
I imagine it working basically like
An example of such tree filter in JS:
https://fiddle.sencha.com/#view/editor&fiddle/2qq9
I imagine it working basically like
Ctrl+S
filter in the Total Commander.
An example of such tree filter in JS:
https://fiddle.sencha.com/#view/editor&fiddle/2qq9