From cb027483996e47e3d38884e770b3ac9f3cb8ffa3 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 23 Dec 2005 13:54:48 +0000 Subject: [PATCH] fix keymap for change shortcut of disabled menu item svn: r1673 --- collects/mred/private/mrmenu.ss | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss index 547e43fb3f..ed655ee62a 100644 --- a/collects/mred/private/mrmenu.ss +++ b/collects/mred/private/mrmenu.ss @@ -235,8 +235,7 @@ (let-values ([(new-label keymap) (calc-labels l)]) (set! label (string->immutable-string l)) (super-set-label new-label) - (if (or (super-is-deleted?) - (not (super-is-enabled?))) + (if (super-is-deleted?) (send wx set-keymap keymap) (send wx swap-keymap menu keymap)))))]) (override