Recursive tree type filter
Based on !715 (merged)
Closes #391 (closed)
Closes #483 (closed)
-
Refactoring to have the tree computed in the store -
Implement recursive filtering
Note: no automatic shrink has been implemented, i.e. any expanded node will stay expanded even if we navigate in another element (See Use global nodes to keep the structure during navigation
commit)
Edited by Valentin Rigal