added error checking for use in drdr

2010-06-17 15:53:49 -05:00 · 2010-06-17 15:53:49 -05:00 · 87f6a6bb1e
commit 87f6a6bb1e
parent dc8fc24e89
1 changed files with 2 additions and 1 deletions
--- a/collects/drracket/private/language-configuration.rkt
+++ b/collects/drracket/private/language-configuration.rkt
@ -27,7 +27,8 @@
                            [(meta) "meta-"]
                            [(control) "ctl-"]
                            [(shift) "shift-"]
-                            [(option) "opt-"]))
+                            [(option) "opt-"]
+                            [else (error 'language-configuration.rkt "unknown result from get-default-shortcut-prefix: ~s" x)]))
                        shortcut-prefix))])
      (define (mouse-event-uses-shortcut-prefix? evt)
        (andmap (λ (prefix)