From 37bc6ec4bae423f15e936234ea3529a125d561d9 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 29 Jun 2007 22:48:42 +0000 Subject: [PATCH] fix table clutter related to delayed showing of items svn: r6775 original commit: f4b131571028432b7826ca9ab698578c42647adb --- collects/mred/private/wxtop.ss | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/collects/mred/private/wxtop.ss b/collects/mred/private/wxtop.ss index 0c44e065..2427d11f 100644 --- a/collects/mred/private/wxtop.ss +++ b/collects/mred/private/wxtop.ss @@ -236,13 +236,11 @@ (not on?) (child . is-a? . wx-frame%) (child . is-a? . wx-dialog%)) - (send child really-show on?) + (begin + (hash-table-remove! fake-show-ht child) + (send child really-show on?)) (begin - (if on? - (hash-table-put! fake-show-ht child #t) - (begin - (hash-table-remove! show-ht child) - (hash-table-remove! fake-show-ht child))) + (hash-table-put! fake-show-ht child #t) (send child fake-show on?))))] ;; force-redraw: receives a message from to redraw the