From d2458f567dc200184a36fa3c360777a664f0d19a Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 11 Oct 2010 13:55:32 -0600 Subject: [PATCH] gtk: fix delete key original commit: 9c15da955d1f33d6b8fccf18656df1bd830e309b --- collects/mred/private/wx/gtk/keycode.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/collects/mred/private/wx/gtk/keycode.rkt b/collects/mred/private/wx/gtk/keycode.rkt index e4e56935..9830dfa7 100644 --- a/collects/mred/private/wx/gtk/keycode.rkt +++ b/collects/mred/private/wx/gtk/keycode.rkt @@ -5,6 +5,7 @@ (define (map-key-code v) (hash-ref #hash((#xff08 . #\backspace) + (#xffff . #\rubout) (#xff09 . #\tab) (#xff0a . #\newline) (#xff0d . #\return)