| 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. |
|
![[logo]](/logo.png){kind=logo}