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. |
|