What about moving the google search to the search results page, saying something like "didn't find what you were looking for? Try a google-based search." instead of having two searches next to each other in a somewhat confusing way?
(I think someone else made this suggestion; apologies if I missed the reply) Robby On Wed, Mar 6, 2013 at 11:46 AM, Eli Barzilay <e...@barzilay.org> wrote: > A few minutes ago, Danny Yoo wrote: > > > > The other thing that would be nice is if the prior versions of the > > docs also included these updates too, but if that can't happen > > easily, oh well. > > Yes -- they all have that. It's just that the previous versions that > are generated now are inaccessible... Once I switch docs you'll have > them too. > > (Maybe I should do that now? It's a quick flip-of-a-symlink thing...) > > -- > ((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay: > http://barzilay.org/ Maze is Life! > _________________________ > Racket Developers list: > http://lists.racket-lang.org/dev >
_________________________ Racket Developers list: http://lists.racket-lang.org/dev