From 3787424b0e15078c2b8018965ee04b8b0fb4aee6 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 23 Oct 2006 07:41:48 +0000 Subject: [PATCH] Windows/X shortcuts: specifically require or disallow alt/meta for menu keybinding svn: r4674 --- collects/mred/private/mrmenu.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss index c39cacfa84..708af73f98 100644 --- a/collects/mred/private/mrmenu.ss +++ b/collects/mred/private/mrmenu.ss @@ -282,8 +282,8 @@ [(unix windows) (format "~a~a~a~a~a?:~a" exact (if (memq 'shift prefix) "s:" "") - (if (memq 'meta prefix) "m:" "") - (if (memq 'alt prefix) "m:" "") + (if (memq 'meta prefix) "m:" "~m:") + (if (memq 'alt prefix) "m:" "~m:") (if (memq 'ctl prefix) "c:" "") base)] [(macosx) (format "~a~a~a~a~a?:~a"