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

How about

  (get-preference '|GRacket:defaultMenuPrefix| (lambda ()
(get-preference '|MrEd:defaultMenuPrefix| (lambda () 'ctl))))

?

Robby

On Sun, Jan 2, 2011 at 4:45 PM,  <clements at 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% collects/mred/private/
>
> ~~~~~~~~~~
>
> 47e3db0 John Clements <clements at racket-lang.org> 2011-01-02 14:45
> :
> | change pref name to match docs
> :
>  M collects/mred/private/const.rkt |    2 +-
>
> =====[ Overall Diff ]===================================================
>
> collects/mred/private/const.rkt
> ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
> --- OLD/collects/mred/private/const.rkt
> +++ NEW/collects/mred/private/const.rkt
> @@ -38,7 +38,7 @@
>   (define arrow-cursor (make-object wx:cursor% 'arrow))
>
>   (define default-x-prefix (if (eq? 'unix (system-type))
> -                              (let ([v (get-preference '|MrEd:defaultMenuPrefix| (lambda () 'ctl))])
> +                              (let ([v (get-preference '|GRacket:defaultMenuPrefix| (lambda () 'ctl))])
>                                 (if (memq v '(meta ctl alt ctl-m))
>                                     v
>                                     'ctl))
>