diff --git a/collects/framework/splash.ss b/collects/framework/splash.ss index d2470f65..bc0eca24 100644 --- a/collects/framework/splash.ss +++ b/collects/framework/splash.ss @@ -20,7 +20,8 @@ get-splash-event-callback set-refresh-splash-on-gauge-change?! get-splash-width - get-splash-height) + get-splash-height + refresh-splash) (define splash-bitmap #f) (define splash-cache-bitmap #f)