Navigator

Navigator search

A filter box for the Navigator tree.

Adds a filter box above the tree that hides non-matching branches while keeping the ancestors of matching elements visible for context. A live count reports the results.