From 44bd3f9930ac06f04532e1eb8374cc041bd112a8 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Sun, 17 Nov 2013 21:55:58 -0600 Subject: [PATCH] reflow the splash screen before showing it so as to try to not call the paint callback with a strange size original commit: 52da06ee85c4cacc8bdb17eee453aa391ad9f6a0 --- pkgs/gui-pkgs/gui-lib/framework/splash.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt index e98e246b..258d870c 100644 --- 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)