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!
Robby On Mon, Aug 29, 2011 at 4:01 PM, Stephen Chang <[email protected]> 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 > _________________________________________________ For list-related administrative tasks: http://lists.racket-lang.org/listinfo/dev
