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 or view it on GitHub:
https://github.com/geany/geany/pull/3681#issuecomment-1807297064
You are receiving this because you are subscribed to this thread.
Message ID:
geany/geany/pull/3681/c1807297064@github.com