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.Message ID: <geany/geany/pull/3681/c1807297064@github.com>