[racket-dev] drracket search

From: Stephen Chang (stchang at ccs.neu.edu)
Date: Mon Aug 29 17:01:50 EDT 2011

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.


Posted on the dev mailing list.