escape in the splash screen quits drscheme

svn: r17854
2010-01-27 18:33:36 +00:00 · 2010-01-27 18:33:36 +00:00 · 97a04321fc
commit 97a04321fc
parent 8454db8115
1 changed files with 1 additions and 0 deletions
--- a/collects/drscheme/private/drscheme-normal.ss
+++ b/collects/drscheme/private/drscheme-normal.ss
@ -78,6 +78,7 @@
 (set-splash-char-observer
 (λ (evt)
   (let ([ch (send evt get-key-code)])
+     (when (equal? ch 'escape) (exit))
     (when (char? ch)
       ;; as soon as something is typed, load the bitmaps
       (load-magic-images)