From c8de8d3ae8e0aa7fc280fed8262ecf1dfa73926b Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 22 Jun 2013 05:46:35 -0600 Subject: [PATCH] framework: fix meta keybindings setup Don't add "~c:" to a keybinding that has "c:". --- pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt | 4 +++- 1 file changed, 3 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 f768c23dd9..6bb3422937 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt @@ -321,7 +321,9 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define (make-meta-prefix-list key) - (list (string-append "~c:m:" key) + (list (if (regexp-match #rx"(?:^|:)c:" key) + (string-append "m:" key) + (string-append "~c:m:" key)) (string-append "ESC;" key))) (define send-map-function-meta