From fcc9e5f98a623282459f3fb13d64893a271ffca4 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Wed, 21 Nov 2007 19:59:51 +0000 Subject: [PATCH] patch to MrEd menu system from Danny svn: r7805 original commit: 246c14c833ef823155eccfca640b32263d1b91df --- collects/mred/private/wxmenu.ss | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/mred/private/wxmenu.ss b/collects/mred/private/wxmenu.ss index ebe4e723..975a5314 100644 --- a/collects/mred/private/wxmenu.ss +++ b/collects/mred/private/wxmenu.ss @@ -64,8 +64,8 @@ (ormap (lambda (i) (let* ([data (send (mred->wx i) get-menu-data)] - [label (car data)] - [menu (cdr data)]) + [label (mcar data)] + [menu (mcdr data)]) (if (regexp-match re label) (begin (send menu select this)