adopted a two-stage fallback for old pref name, per robby's suggestion

original commit: b713e43e1b3b1f02ab01488f7b01511ffa26e948
2011-01-03 00:42:47 -08:00 · 2011-01-03 00:42:47 -08:00 · 038d2db95a
commit 038d2db95a
parent 62a573c5a7
1 changed files with 5 additions and 1 deletions
--- a/collects/mred/private/const.rkt
+++ b/collects/mred/private/const.rkt
@ -38,7 +38,11 @@
  (define arrow-cursor (make-object wx:cursor% 'arrow))

  (define default-x-prefix (if (eq? 'unix (system-type))
-			       (let ([v (get-preference '|GRacket:defaultMenuPrefix| (lambda () 'ctl))])
+			       (let ([v (get-preference 
+                                         '|GRacket:defaultMenuPrefix| 
+                                         ;; on fail, fall back to old name of pref:
+                                         (lambda () (get-preference '|MrEd:defaultMenuPrefix| 
+                                                                    (lambda () 'ctl))))])
 				 (if (memq v '(meta ctl alt ctl-m))
 				     v
 				     'ctl))