From 87f6a6bb1e19b7f789d76e8d152a4b43b04bccc0 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 17 Jun 2010 15:53:49 -0500 Subject: [PATCH] added error checking for use in drdr --- collects/drracket/private/language-configuration.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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)