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 wrote:
> I'm not sure when this was fixed but the search in drracket is
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
2 matches
Mail list logo