[racket-dev] Potential search improvement

A few minutes ago, Neil Van Dyke wrote:
> Eli Barzilay wrote at 05/29/2012 07:17 AM:
> > I have made a possibly useful improvement to the JS search code.
> > It's not pushed, yet, but I dropped the revised JS code on the
> > pre-built pages so you can try it out here:
> >
> >    http://pre.racket-lang.org/docs/html/search/
> >    
> [...]
> 
> Eli, looks like a noticeable improvement over 5.2.1 search to me so 
> far.  Thank you for working on this.
> 
> Here's a small quirk on "pre": searching for "scribble" doesn't get
> the Scribble manual as the first hit, but the incremental search as
> you're typing gets you the Scribble manual as the first hit for
> "scri" through "scribbl".

That looks like a bug...

-- 
          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!