From 3c16602c1d18df8dca93e47e4863a15e4aedac37 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 19 Jun 2013 16:59:07 -0500 Subject: [PATCH] fix 77a4a8c2766f2d5648e100ff237fd69dd4abccfd related to PR 13863 --- pkgs/drracket/drracket/private/rep.rkt | 2 +- pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/pkgs/drracket/drracket/private/rep.rkt b/pkgs/drracket/drracket/private/rep.rkt index 23233c0412..574c654dbf 100644 --- a/pkgs/drracket/drracket/private/rep.rkt +++ b/pkgs/drracket/drracket/private/rep.rkt @@ -229,7 +229,7 @@ TODO (format "a:~a" i) (format "show-tab-~a" i)) (send drs-bindings-keymap map-function - (format "~c:m:~a" i) + (format "~~c:m:~a" i) (format "show-tab-~a" i))) (define (get-drs-bindings-keymap) drs-bindings-keymap) diff --git a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt index 5e60a5f00f..f768c23dd9 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/private/keymap.rkt @@ -1139,7 +1139,7 @@ (if shift? "s:" "") roman-char) (format "insert ~a" greek-char)) - (map (format "~c: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))