Community
Participate
Working Groups
We should make the global search input UI a widget, which is similar to the fin/replace in the editor. At least it should support case sensitive and regular expression.
Let's make sure we look at other web sites and see how they handle this for global search, before we assume that editor find/replace options should be the model. I would hope we could do the right thing in the 90% case. I understand the need for more control, but adding more complicated widgetry in the main banner of the page seems like the wrong direction. Hopefully most people would never need to know about/use the options so we don't want to show them. For example, show the results but if the token looks like a regex we could have "did you mean the regex..." Or we assume case sensitive but if no hits are found "do you want to try case insensitive" or even just redo a case insensitive search if there are no hits found, and then report: No results. Case insensitive results: etc.
Closing as part of a mass clean up of inactive bugs. Please reopen if this problem still occurs or is relevant to you. For more details see: https://dev.eclipse.org/mhonarc/lists/orion-dev/msg03444.html
