From 076d680faab918465e05a6d8d3a94526cbfb17b9 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 28 Jan 2010 20:34:07 +0000 Subject: [PATCH] escape no longer quits during splash screen, not control-q does svn: r17869 --- collects/drscheme/private/drscheme-normal.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/drscheme/private/drscheme-normal.ss b/collects/drscheme/private/drscheme-normal.ss index fb30bed566..b1a9386fb9 100644 --- a/collects/drscheme/private/drscheme-normal.ss +++ b/collects/drscheme/private/drscheme-normal.ss @@ -78,7 +78,9 @@ (set-splash-char-observer (λ (evt) (let ([ch (send evt get-key-code)]) - (when (equal? ch 'escape) (exit)) + (when (and (eq? ch #\q) + (send evt get-control-down)) + (exit)) (when (char? ch) ;; as soon as something is typed, load the bitmaps (load-magic-images)