diff --git a/collects/mred/private/wxme/keymap.ss b/collects/mred/private/wxme/keymap.ss index f6bd7d5a8d..4988a168f3 100644 --- a/collects/mred/private/wxme/keymap.ss +++ b/collects/mred/private/wxme/keymap.ss @@ -47,8 +47,8 @@ ("subtract" . subtract) ("multiply" . multiply) ("divide" . divide) - ("backspace" . back) - ("back" . back) + ("backspace" . #\backspace) + ("back" . #\backspace) ("return" . #\return) ("enter" . #\return) ("tab" . #\tab)