Re: [racket-dev] [plt] Push #21875: master branch updated

2011-01-02 Thread Robby Findler
How about (get-preference '|GRacket:defaultMenuPrefix| (lambda () (get-preference '|MrEd:defaultMenuPrefix| (lambda () 'ctl ? Robby On Sun, Jan 2, 2011 at 4:45 PM, wrote: > clements has updated `master' from dbd8faee1b to 47e3db06ff. >  http://git.racket-lang.org/plt/dbd8faee1b..47e3db0

Re: [racket-dev] [plt] Push #21875: master branch updated

2011-01-02 Thread John Clements
On Jan 2, 2011, at 2:45 PM, cleme...@racket-lang.org wrote: > clements has updated `master' from dbd8faee1b to 47e3db06ff. > http://git.racket-lang.org/plt/dbd8faee1b..47e3db06ff > > =[ 1 Commits ]== > > Directory summary: > 100.0% collec