From 5bdc8a58b40e6dd1deaba34344fd9d2cb006ad37 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 --- 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 b5e7eb368a..ba967aeca0 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