From b25c9591f62cc2984e14c25c9438fb253616fc2d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Thu, 20 Jan 2011 15:40:11 -0600 Subject: [PATCH] remove leftover printf and adjust splash screen width default --- collects/drracket/private/drracket-normal.rkt | 2 +- collects/framework/splash.rkt | 1 - 2 files changed, 1 insertion(+), 2 deletions(-) diff --git a/collects/drracket/private/drracket-normal.rkt b/collects/drracket/private/drracket-normal.rkt index 1eb9afa987..5f7c8160b7 100644 --- a/collects/drracket/private/drracket-normal.rkt +++ b/collects/drracket/private/drracket-normal.rkt @@ -119,7 +119,7 @@ [else (collection-file-path "plt-flat.gif" "icons")]) "DrRacket" - 99 + 700 #:allow-funny? #t) (when (getenv "PLTDRBREAK") diff --git a/collects/framework/splash.rkt b/collects/framework/splash.rkt index a4854ed430..6d778f6e2b 100644 --- a/collects/framework/splash.rkt +++ b/collects/framework/splash.rkt @@ -203,7 +203,6 @@ (define splash-max-width 1) (define (close-splash) - (printf "splash-current-width ~s\n" splash-current-width) (unless (= splash-max-width splash-current-width) (splash-set-preference (get-splash-width-preference-name) (max 1 splash-current-width))) (on-splash-eventspace/ret (set! quit-on-close? #f))