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 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;