diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss index 016259513a..e8bdcff26f 100644 --- a/collects/framework/private/keymap.ss +++ b/collects/framework/private/keymap.ss @@ -1079,8 +1079,8 @@ (setup-mappings greek-letters #f) (setup-mappings Greek-letters #t)) - (map "c:\\" "TeX compress") - (map "m:\\" "TeX compress") + (map "~m:c:\\" "TeX compress") + (map "~c:m:\\" "TeX compress") (map-meta "c:down" "down-into-embedded-editor") (map "a:c:down" "down-into-embedded-editor")