Closed anandgavai closed 8 years ago
Can you explain why should the tree expand after clicking on the search field?
I think the issue was that if you type in a (partial) name of a variable in the search field, this matches leaf nodes, while you only see root nodes if you did not expand yet. So I think the goal was to see the leaf nodes that you matched (so auto-expand the tree if need be).
This sometimes works and sometimes not.
We need more testing on that, because it seams to be quite hard to reproduce.
This seems to be working now.
On clicking on the search field the tree should be expanded automatically.