diff --git a/collects/drracket/private/language-configuration.rkt b/collects/drracket/private/language-configuration.rkt index 05f0b100e7..f5c7eb4c69 100644 --- 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)