From 702e04d8def29ee78cbce67efefd8b4380a20d79 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 19 Jun 2013 16:21:41 -0500 Subject: [PATCH] adjust various drracket keybindings so they are not just "m:" but are now "~c:m:" to try to ward off alt-gr related problems under windows original commit: 77a4a8c2766f2d5648e100ff237fd69dd4abccfd --- pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt index e5601705..5e60a5f0 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt @@ -321,7 +321,7 @@ ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (define (make-meta-prefix-list key) - (list (string-append "m:" key) + (list (string-append "~c:m:" key) (string-append "ESC;" key))) (define send-map-function-meta @@ -1139,7 +1139,7 @@ (if shift? "s:" "") roman-char) (format "insert ~a" greek-char)) - (map (format "m:x;c:g;~a~a" + (map (format "~c:m:x;c:g;~a~a" (if shift? "s:" "") roman-char) (format "insert ~a" greek-char))