From 9c15da955d1f33d6b8fccf18656df1bd830e309b 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 --- 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 e4e5693561..9830dfa741 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)