From 9aefa87ef4449710698b57717e4f34dab5ce2922 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 14 Sep 1998 02:36:02 +0000 Subject: [PATCH] . original commit: e34406f7130c821b232eb9c28ce271c7cb693433 --- src/mred/wrap/mred.ss | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/mred/wrap/mred.ss b/src/mred/wrap/mred.ss index c26f242c..aa74c992 100644 --- a/src/mred/wrap/mred.ss +++ b/src/mred/wrap/mred.ss @@ -3000,7 +3000,8 @@ [is-enabled? (lambda () (send wx all-enabled?))]) (sequence (super-init wx) - (send wx-parent set-menu-bar wx)))) + (send wx-parent set-menu-bar wx) + (send wx-parent self-redraw-request)))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;; REPL ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;