From 704e5a0529e94b485b8d60e1900e19f1e6f3d513 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 19 Feb 2011 08:36:17 -0700 Subject: [PATCH] win32: fix some key events Closes PR 11757 original commit: 5754269ae10ecb22c406b15f08ced4cfddc782ed --- collects/mred/private/wx/win32/key.rkt | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/mred/private/wx/win32/key.rkt b/collects/mred/private/wx/win32/key.rkt index f5a49312..1eeb2a74 100644 --- a/collects/mred/private/wx/win32/key.rkt +++ b/collects/mred/private/wx/win32/key.rkt @@ -59,15 +59,15 @@ ;; ignored by WM_KEYDOWN and processed by WM_CHAR instead (define win32->symbol (hasheq VK_CANCEL 'cancel - VK_BACK 'back - VK_TAB 'tab + VK_BACK #\backspace + VK_TAB #\tab VK_CLEAR 'clear - VK_RETURN 'return + VK_RETURN #\return VK_SHIFT 'shift VK_CONTROL 'control VK_MENU 'menu VK_PAUSE 'pause - VK_SPACE 'space + VK_SPACE #\space VK_ESCAPE 'escape VK_PRIOR 'prior VK_NEXT 'next