diff --git a/collects/mred/private/mrmenu.ss b/collects/mred/private/mrmenu.ss index ed655ee6..39da21e1 100644 --- a/collects/mred/private/mrmenu.ss +++ b/collects/mred/private/mrmenu.ss @@ -135,6 +135,7 @@ (send wx-parent append (send wx id) label help-string checkable?)) (send wx-parent append-item this wx)) (send wx-parent append-item this wx-submenu (strip-tab label))) + (send wx set-enabled #t) ; re-added item is initially enabled at wx level (set! shown? #t) (do-enable enabled?))))] [delete (entry-point