From 526581bdd66ae0f24fd5dd37fab4595e4f39c3a4 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Wed, 31 May 2006 18:36:58 +0000
Subject: [PATCH] fix restoring disabled menu item

svn: r3150

original commit: ba4d10a6395ba42574ad7c6b645ed2ea03310999
---
 collects/mred/private/mrmenu.ss | 1 +
 1 file changed, 1 insertion(+)

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