From 65334e6931ae6bd0d38f0f6b9b2d724aa02b1353 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 3 Dec 2013 09:44:02 -0600 Subject: [PATCH] followup fix that should probably have been in a7c6dfa05 --- pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt index b94a4a4dd8..bbc0b5acb4 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt @@ -172,7 +172,8 @@ (cond [(eq? (system-type) 'windows) (cond - [(or (regexp-match? #rx"a:c" cs) + [(or (and (regexp-match? #rx"a:c" cs) + (not (regexp-match? #rx"~a:c" cs))) (and (regexp-match? #rx"c:m" cs) (not (regexp-match? #rx"~c:m" cs)))) #f]