From: Mohammad Nejati [ashtum] (ashtumashtum_at_[hidden])
Date: 2023-07-07 14:02:43
> 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 <vinnie.falco_at_[hidden]> wrote:
>
> On Fri, Jul 7, 2023 at 6:37 AM René Ferdinand Rivera Morell
> <grafikrobot_at_[hidden]> 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