From 9672a78b02072775769ef014295ae94422a06e83 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 5 Jul 2004 15:26:05 +0000 Subject: [PATCH] . original commit: dc880f033c2e20d506643918fd2f73e629d203b3 --- collects/mred/mred.ss | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/collects/mred/mred.ss b/collects/mred/mred.ss index d89ca949..722f0cb2 100644 --- a/collects/mred/mred.ss +++ b/collects/mred/mred.ss @@ -1545,7 +1545,7 @@ [is-mdi-parent? #f]) (public [get-the-menu-bar (lambda () menu-bar)] - [get-mdi-parent (lambda (x) x)] + [get-mdi-parent (lambda () is-mdi-parent?)] [set-mdi-parent (lambda (x) (and (set! is-mdi-parent? x) #t))]) (override [set-menu-bar