Permit fulltext search of the tree (titles, notes, URLs?)

Should be fairly straightforward to search window and tab text and titles using the jstree search plugin. What would be the best way to show the results? The jstree docs mention that filtering may be slow on large trees, but highlighting might be unwieldy on such trees (scroll to find results? Blech).

Should this be a plugin that maintains a separate full-text index?

Maybe lunr.js or elasticlunr.js?

Requested by a user via email 2017/10/25.

Start by reading the jstree search-plugin documentation and compare filtering or highlighting for window and tab text and titles. Evaluate whether a separate full-text index using lunr.js or elasticlunr.js is needed; done requires a decided search scope and a defined way to present results.

Written by the indexing model from the issue text.