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

not call the paint callback with a strange size original commit: 52da06ee85c4cacc8bdb17eee453aa391ad9f6a0
2013-11-17 21:55:58 -06:00 · 2013-11-17 21:55:58 -06:00 · 44bd3f9930
commit 44bd3f9930
parent 014448c316
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)