From 177dfda57dc73ee12f375a0a22635b17bdf6b34e Mon Sep 17 00:00:00 2001
From: Robby Findler <robby@racket-lang.org>
Date: Tue, 3 Nov 2009 20:50:50 +0000
Subject: [PATCH] attempted to smooth out the splash screen animation by using
 wall clock times (via current-milliseconds)

svn: r16529

original commit: 8886736b7674e868799ab3deebc6934825d3d49c
---
 collects/framework/splash.ss | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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)