From 32c6a5c18df841617c908f0f736c28198bd0ae8a Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 16 Mar 1999 23:37:39 +0000 Subject: [PATCH] ... original commit: 31fb508e5257385d8b02bbb8269873f906e3cc72 --- collects/framework/splash.ss | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/collects/framework/splash.ss b/collects/framework/splash.ss index aa0d8834..ff9bfd1b 100644 --- a/collects/framework/splash.ss +++ b/collects/framework/splash.ss @@ -85,15 +85,16 @@ (if (get-resource "mred" "splashMessages" b) (not (zero? (unbox b))) #f))] - [(panel) (make-object vertical-panel% frame)] + [(panel) (make-object vertical-pane% frame)] [(logo-canvas) (make-object splash-canvas% panel)] - [(h-panel) (make-object (if show-messages? horizontal-panel% vertical-panel%) + [(h-panel) (make-object (if show-messages? horizontal-pane% vertical-pane%) panel)] [(gauge) (make-object gauge% #f splash-max-width h-panel (if show-messages? '(vertical) '(horizontal)))] - [(v-panel) (make-object vertical-panel% h-panel)] + [(v-panel) (make-object vertical-pane% h-panel)] + [(spacer) (make-object grow-box-spacer-pane% h-panel)] [(splash-messages) (and show-messages? (let ([msgs