From be229c2f5e12976d1f0158bfa95084b13122bc4d Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 24 Jun 2009 12:38:02 +0000 Subject: [PATCH] fix mapping of del in keymap% (PR 10312) svn: r15250 --- collects/mred/private/wxme/keymap.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)