The new entry is a filter, it reduces the tree to matching elements, the one that pops up when you type on the tree is a search, it changes the selected element to the first match.
—
Reply to this email directly, view it on GitHub, or unsubscribe.
You are receiving this because you are subscribed to this thread.