@eth16 if its only really a search facility and goes away as soon as something is selected, or the little text box cleared, or the tab switched then agree there is no need for it to be per-document.

But first match is not very useful for languages that are not C. C is ok because everything is distinguished by name and there is no overloading but all modern languages allow and even encourage multiple occurrences of the same name.

And anyway I think enable_search is set by default because first match works now, just type on the symbols pane and it selects first match, but can't go to subsequent matches (AFAICT). The default value of enable_search is not documented that I could find, and we explicitly turn if off for all the message window treeviews.

So unless any change improves the capability for multiple search by either having a "next" or by filtering it won't add much.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or unsubscribe.
Triage notifications on the go with GitHub Mobile for iOS or Android.