win32: fix delete key

Closes PR 11519
2010-12-09 17:38:20 -07:00 · 2010-12-09 17:38:20 -07:00 · b16f8fb16a
commit b16f8fb16a
parent 518cff7b63
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