gtk: fix delete key

2010-10-11 13:55:32 -06:00 · 2010-10-11 13:55:32 -06:00 · 9c15da955d
commit 9c15da955d
parent a19a67e515
1 changed files with 1 additions and 0 deletions
--- 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)