[racket-dev] drracket search

[Stephen Chang]

I'm not sure when this was fixed but the search in drracket is much
nicer to use now because the focus switches immediately to the search
box. Thanks.
_________________________________________________
  For list-related administrative tasks:
  http://lists.racket-lang.org/listinfo/dev