Re: [Geoserver-devel] Proposal for adding exact term search to search text-boxes

Hi Jody, using spaces looks ... less natural to me. Force of habit I guess, if I have to search for an exact word or multiple exact words in Google, I use double quotes there as well. Regards, Andrea Aime == GeoServer Professional Services from the experts! Visit http://bit.ly/gs-services-us f

Re: [Geoserver-devel] Proposal for adding exact term search to search text-boxes

I was just checking in, I am sure it would be fine as an improvement in the bug tracker. I had considered avoiding double quotes, and just using white space separators (with the idea that would be easier for users to discover as it would occur naturally while typing). 'foo' --> foo 'foo ' --> (\

Re: [Geoserver-devel] Proposal for adding exact term search to search text-boxes

I think Alessandro used "propose" in loose terms, without necessarily meaning GSIP. Do you believe it's a GSIP worthy change? It seems mostly transparent to the current usage. Regards, Andrea Aime == GeoServer Professional Services from the experts! Visit http://bit.ly/gs-services-us for more

Re: [Geoserver-devel] Proposal for adding exact term search to search text-boxes

Alessandro, If you are happy with your proposal (it seems clear) could you admit is as a page to the wiki: https://github.com/geoserver/geoserver/wiki/Proposals There is a template to cut and pa

Re: [Geoserver-devel] Proposal for adding exact term search to search text-boxes

That looks fun, +1 I considered if it could be more easily discoverable if a space separator was used; but the result was less clear. -- Jody Garnett On Fri, Apr 26, 2024 at 8:26 AM Alessandro Ricchiuti < alessandro.ricchi...@geosolutionsgroup.com> wrote: > Hello, GeoServer Community. > > I am

[Geoserver-devel] Proposal for adding exact term search to search text-boxes

Hello, GeoServer Community. I am writing to propose a modification to the GeoServer web interface that I believe would enhance the user experience and improve usability. The goal is to extend the search functionality within GeoServer pages by introducing a specific feature that could help to bett