diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss index f11991b7..80c7ed89 100644 --- a/collects/framework/private/keymap.ss +++ b/collects/framework/private/keymap.ss @@ -968,6 +968,7 @@ (map "a:v" "paste-clipboard") (map "d:v" "paste-clipboard") (map "c:_" "undo") + (map (format "~a" (integer->char 31)) "undo") ; for Windows - strange (map "c:+" "redo") (map "a:z" "undo") (map "d:z" "undo")