diff --git a/collects/mred/private/wxme/keymap.ss b/collects/mred/private/wxme/keymap.ss index 94efd9e733..f6bd7d5a8d 100644 --- a/collects/mred/private/wxme/keymap.ss +++ b/collects/mred/private/wxme/keymap.ss @@ -39,7 +39,7 @@ ("wheelup" . wheel-up) ("wheeldown" . wheel-down) ("esc" . escape) - ("delete" . delete) + ("delete" . #\rubout) ("del" . #\rubout) ("insert" . insert) ("ins" . insert)