From 038d2db95a99c674ee4282b2dd6a377bc18b728b Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Mon, 3 Jan 2011 00:42:47 -0800
Subject: [PATCH] adopted a two-stage fallback for old pref name, per robby's
 suggestion

original commit: b713e43e1b3b1f02ab01488f7b01511ffa26e948
---
 collects/mred/private/const.rkt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/collects/mred/private/const.rkt b/collects/mred/private/const.rkt
index bab6a76d..d341e730 100644
--- 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))