diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss index 2c939b03..defb13e3 100644 --- a/collects/framework/private/keymap.ss +++ b/collects/framework/private/keymap.ss @@ -959,6 +959,7 @@ (map "a:v" "paste-clipboard") (map "d:v" "paste-clipboard") (map "c:_" "undo") + (map "c:\037" "undo") (map "c:+" "redo") (map "a:z" "undo") (map "d:z" "undo")