win32: fix some key events

Closes PR 11757 original commit: 5754269ae10ecb22c406b15f08ced4cfddc782ed
2011-02-19 08:36:17 -07:00 · 2011-02-19 08:36:17 -07:00 · 704e5a0529
commit 704e5a0529
parent 63b8d54322
1 changed files with 4 additions and 4 deletions
--- 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