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