remove leftover printf and adjust splash screen width default
This commit is contained in:
parent
0c193a599a
commit
b25c9591f6
|
@ -119,7 +119,7 @@
|
||||||
[else
|
[else
|
||||||
(collection-file-path "plt-flat.gif" "icons")])
|
(collection-file-path "plt-flat.gif" "icons")])
|
||||||
"DrRacket"
|
"DrRacket"
|
||||||
99
|
700
|
||||||
#:allow-funny? #t)
|
#:allow-funny? #t)
|
||||||
|
|
||||||
(when (getenv "PLTDRBREAK")
|
(when (getenv "PLTDRBREAK")
|
||||||
|
|
|
@ -203,7 +203,6 @@
|
||||||
(define splash-max-width 1)
|
(define splash-max-width 1)
|
||||||
|
|
||||||
(define (close-splash)
|
(define (close-splash)
|
||||||
(printf "splash-current-width ~s\n" splash-current-width)
|
|
||||||
(unless (= splash-max-width splash-current-width)
|
(unless (= splash-max-width splash-current-width)
|
||||||
(splash-set-preference (get-splash-width-preference-name) (max 1 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))
|
(on-splash-eventspace/ret (set! quit-on-close? #f))
|
||||||
|
|
Loading…
Reference in New Issue
Block a user