Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2012-01-11 Thread lilypond
Comment #8 on issue 1405 by plros...@gmail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 Just for the record, +foo doesn't work anymore, use "foo" in quotes. The updated search would be: https://www.google.c

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2012-01-11 Thread lilypond
Updates: Labels: -Patch-needs_work Patch-abandoned Comment #7 on issue 1405 by philehol...@gmail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 (No comment was entered for this change.)

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-09-22 Thread lilypond
Comment #6 on issue 1405 by philehol...@googlemail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 I've not done anything about this for a while - been looking at other stuff. It's on my list of possible things

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-09-21 Thread lilypond
Comment #5 on issue 1405 by percival.music.ca: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 I am not aware of any definitive answer about making a google search for this. I would be surprised if it could not be d

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-09-21 Thread lilypond
Comment #4 on issue 1405 by janek.li...@gmail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 Hi, what's the status of this? I guess that having two search boxes isn't the best idea, but from the discussion i w

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-09-05 Thread lilypond
Updates: Status: Accepted Labels: Patch-needs_work Comment #3 on issue 1405 by pkx1...@gmail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 (No comment was entered for this change.)

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-08-26 Thread lilypond
Updates: Status: Started Owner: philehol...@googlemail.com Comment #2 on issue 1405 by philehol...@googlemail.com: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 That's exactly what my 2-search-box pat

Re: Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2011-08-25 Thread lilypond
Updates: Cc: philehol...@googlemail.com Labels: -Priority-Medium Comment #1 on issue 1405 by percival.music.ca: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 This may be of interest to Phil. BTW, sea

Issue 1405 in lilypond: Web: website Google search-bar should allow to search the website.

2010-11-15 Thread lilypond
Status: Accepted Owner: Labels: Type-Other Priority-Medium website New issue 1405 by v.villenave: Web: website Google search-bar should allow to search the website. http://code.google.com/p/lilypond/issues/detail?id=1405 Jan WarchoĊ‚ has just made an interesting discovery: using the searc