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? http://codereview.appspot.com/4894053/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
