From f602a0965f2a1849dce7ec432b203a0af7fb3639 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 18 Jan 2011 11:01:49 -0700 Subject: [PATCH] gtk: add missing keycode for Insert key Closes PR 11412 original commit: 5bdc8a58b40e6dd1deaba34344fd9d2cb006ad37 --- 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 b5e7eb36..ba967aec 100644 --- 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