reflow the splash screen before showing it so as to try to

not call the paint callback with a strange size
2013-11-17 21:55:58 -06:00 · 2013-11-17 21:55:58 -06:00 · 52da06ee85
commit 52da06ee85
parent 9b88a732eb
1 changed files with 2 additions and 0 deletions
--- a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt
+++ b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt
@ -208,6 +208,8 @@
        (eprintf "WARNING: unknown splash spec: ~s" splash-draw-spec)
        (no-splash)])
     
+     (send splash-tlw reflow-container)
+     
     (refresh-splash)
     
     (send splash-tlw center 'both)