From a457e2f054937b73123ce787bc255dd85df66653 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 4 Jun 2006 22:47:58 +0000 Subject: [PATCH] recover slightly less gracelessly from bad keybindings files svn: r3224 --- collects/drscheme/private/main.ss | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/collects/drscheme/private/main.ss b/collects/drscheme/private/main.ss index 62a0611d83..d37f4dd59b 100644 --- a/collects/drscheme/private/main.ss +++ b/collects/drscheme/private/main.ss @@ -360,7 +360,12 @@ (autosave:restore-autosave-files/gui) ;; install user's keybindings - (for-each keymap:add-user-keybindings-file (preferences:get 'drscheme:user-defined-keybindings)) + (with-handlers ([exn? + (λ (exn) + (message-box (string-constant drscheme) + (exn-message exn)))]) + (for-each keymap:add-user-keybindings-file + (preferences:get 'drscheme:user-defined-keybindings))) ;; the initial window doesn't set the ;; unit object's state correctly, yet.