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))