From 7c976eb0a842e542074eba77e63f8db4909d7048 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Tue, 22 Feb 2005 13:23:29 +0000 Subject: [PATCH] . original commit: a69382206f1115992945e0f2398ac65ada8e289b --- collects/mred/private/mrmenu.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss index 0566935e..27a765f7 100644 --- a/collects/mred/private/mrmenu.ss +++ b/collects/mred/private/mrmenu.ss @@ -206,7 +206,7 @@ [(unix) (format "~a~a" (case x-prefix [(meta) ":m:"] - [(alt) ":a:"] + [(alt) ":m:"] [(ctl-m) ":c:m;:"] [(ctl) ":c:"]) (char-name (char-downcase shortcut) #f))]