attempted to smooth out the splash screen animation by using wall clock times (via current-milliseconds)

svn: r16529 original commit: 8886736b7674e868799ab3deebc6934825d3d49c
2009-11-03 20:50:50 +00:00 · 2009-11-03 20:50:50 +00:00 · 177dfda57d
commit 177dfda57d
parent b6e357919d
1 changed files with 2 additions and 1 deletions
--- 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)