From 62d6943ef9b57ade883b0c9efbe17c2b2b4d9839 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 13 Jun 2008 17:17:05 +0000 Subject: [PATCH] some windows keyboard didn't work with the old settings since the keybindings were taking over too much svn: r10256 original commit: 63311353d747265218f3bfdfd369c6a82eae997f --- collects/framework/private/keymap.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/framework/private/keymap.ss b/collects/framework/private/keymap.ss index 01625951..e8bdcff2 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")