[racket-dev] drracket search

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Mon Aug 29 17:24:13 EDT 2011

Shortly after RacketCon, I tweaked one of the keybindings as Guillaume
and Danny's request. I'm glad to hear that no one was relying on the
old behavior of the keybinding!


On Mon, Aug 29, 2011 at 4:01 PM, Stephen Chang <stchang at ccs.neu.edu> wrote:
> 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

Posted on the dev mailing list.