From cafc6d697e479ed6b273a1d52e46932b9341b547 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Sat, 16 Oct 2010 20:31:01 -0600 Subject: [PATCH] avoid redundant on-subwindow-X calls due to panels in a frame --- collects/mred/private/mrtop.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/collects/mred/private/mrtop.rkt b/collects/mred/private/mrtop.rkt index f4153ebc09..c107cfb154 100644 --- a/collects/mred/private/mrtop.rkt +++ b/collects/mred/private/mrtop.rkt @@ -122,8 +122,10 @@ [finish (entry-point (lambda (top-level hide-panel?) (set! mid-panel (make-object wx-vertical-panel% #f this top-level null #f)) + (send mid-panel skip-subwindow-events? #t) (send (send mid-panel area-parent) add-child mid-panel) (set! wx-panel (make-object wx-vertical-panel% #f this mid-panel null #f)) + (send wx-panel skip-subwindow-events? #t) (send (send wx-panel area-parent) add-child wx-panel) (send top-level set-container wx-panel) (when hide-panel?