win32: fix delete key

Closes PR 11519 original commit: b16f8fb16a7efe9e62e6cb9d20aafe15c6a7d9b8
2010-12-09 17:38:20 -07:00 · 2010-12-09 17:38:20 -07:00 · 5cc99c019d
commit 5cc99c019d
parent 2b7d3981c0
1 changed files with 1 additions and 1 deletions
--- a/collects/mred/private/wx/win32/key.rkt
+++ b/collects/mred/private/wx/win32/key.rkt
@ -70,7 +70,7 @@
          VK_PRINT 'print
          VK_EXECUTE 'execute
          VK_INSERT 'insert
-          VK_DELETE 'delete
+          VK_DELETE #\rubout
          VK_HELP  'help
          VK_NUMPAD0 'numpad0
          VK_NUMPAD1 'numpad1