recover slightly less gracelessly from bad keybindings files
svn: r3224
This commit is contained in:
parent
8dcbfb3128
commit
a457e2f054
|
@ -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.
|
||||
|
|
Loading…
Reference in New Issue
Block a user