You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This would help a lot to focus on certain files only with a path or name that matches a search string. The best similarity would the Github "find files" feature
The way I am thinking of this would be a new search box that would search and filter on the tree side may be or both the table and tree.
The text was updated successfully, but these errors were encountered:
jsTree has a Search plugin which adds a search box for the tree. It's probably easier if you provide all the data at once. However, our tree is backed by the database, and we only provide the data it needs when it's needed. i.e. we only search for the children when you open the parent directory. I'm not sure what the implementation would be to enable this.
This would help a lot to focus on certain files only with a path or name that matches a search string. The best similarity would the Github "find files" feature
The way I am thinking of this would be a new search box that would search and filter on the tree side may be or both the table and tree.
The text was updated successfully, but these errors were encountered: