From c49deb88ce5c6e5e86e51e62b16f5b3d12b77a70 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 2 Feb 2011 06:46:03 -0700 Subject: [PATCH] gtk: map left-tab key to #\tab Closes PR 11697 Merge to 5.1 original commit: 0eed4e9462a227326b2edd0e1c4b2d6e739043b4 --- 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 2f704832..02c5b9a4 100644 --- a/collects/mred/private/wx/gtk/keycode.rkt +++ b/collects/mred/private/wx/gtk/keycode.rkt @@ -8,6 +8,7 @@ #hash((#xff08 . #\backspace) (#xffff . #\rubout) (#xff09 . #\tab) + (#xfe20 . #\tab) ; left tab (sometimes from ctl-shift-tab) (#xff0a . #\newline) (#xff0d . #\return) (#xff1b . escape) ; escape