Re: [boost] Search Functionality Now Available on beta.boost.org

How about changing the button title to "Search The Libraries..."?

This should work, and maybe it's not such a big deal in the first place. I mean, it will be rare for someone to expect to search for a page like this on boost.org: https://www.boost.org/community/generic_programming.html Thanks. On Fri, Jul 7, 2023 at 5:21 PM Vinnie Falco wrote:

On Fri, Jul 7, 2023 at 6:37 AM René Ferdinand Rivera Morell wrote:

...

20 years. Also, holy hell it's been 20 years since I did that!

Boost was founded in 1998, we're in 2023...

...

But seriously.. Having the search button everywhere is good. Just make sure it's clear to users that it doesn't search the whole web site.

How about changing the button title to "Search The Libraries..."?

Thanks