From 97a04321fc9a626df33e14fccf0a54674b28a66e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Wed, 27 Jan 2010 18:33:36 +0000
Subject: [PATCH] escape in the splash screen quits drscheme

svn: r17854
---
 collects/drscheme/private/drscheme-normal.ss | 1 +
 1 file changed, 1 insertion(+)

diff --git a/collects/drscheme/private/drscheme-normal.ss b/collects/drscheme/private/drscheme-normal.ss
index 00f436a6af..fb30bed566 100644
--- 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)