gtk: add missing keycode for Insert key

Closes PR 11412
2011-01-18 11:01:49 -07:00 · 2011-01-18 11:01:49 -07:00 · 5bdc8a58b4
commit 5bdc8a58b4
parent 6b115ecf33
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
@ -18,6 +18,7 @@
         (#xff55 . prior)
         (#xff56 . next)
         (#xff57 . end)
+         (#xff63 . insert)
         (#xff80 . #\space) ; keypad
         (#xff89 . #\tab) ; keypad
         (#xff8d . #\u3)  ; enter