2011/8/26 <[email protected]>: > I have grave doubts about adding a second search box. > 1) it makes the top bar uncomfortably squashed in my default web browser > window > 2) it requires users to choose which type of search they want to do. > > > #1 isn't about me forcing my desktop browser preferences on anybody, but > rather I'm making the point that almost all other websites work well on > my desktop. I think we should be very cautious about making > lilypond.org less accessible than the average websote. (or perhaps I > should specify "average geek website", since I'm sure that certain other > genres of websites are much less accessible than places that I visit) > > Do we have any compelling evidence that we _need_ to separate these > searches? Didn't the previous system just search the website and stable > docs; wasn't that sufficient? > > Also, IIRC there was a suggestion that we search for something like > site:lilypond.org/Documentation/v2.14/ > instead of adding +2.14. Am I misremembering / would that work / etc?
What about searching all docs and website by default, but adding something like "advanced search" where one can set what he wants to search? If not, i guess that searching stable docs + website would be ok (if it's possible). cheers, Janek _______________________________________________ lilypond-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/lilypond-devel
