suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix contract-related errors in framework/splash

Browse Source
This commit is contained in:
Robby Findler 2015-12-18 11:21:04 -06:00
parent 3af5db35be
commit 7c43e6d876
1 changed files with 11 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
gui-lib/framework/splash.rkt
View File

@ -13,12 +13,14 @@
[get-splash-canvas (-> (is-a?/c canvas%))]
[get-splash-eventspace (-> eventspace?)]
[get-splash-paint-callback (-> procedure?)]
[set-splash-paint-callback (-> (-> (is-a?/c dc<%>)
exact-nonnegative-integer?
exact-nonnegative-integer?
exact-nonnegative-integer?
exact-nonnegative-integer?
any)
[set-splash-paint-callback (-> (or/c (-> (is-a?/c dc<%>)
exact-nonnegative-integer?
exact-nonnegative-integer?
exact-nonnegative-integer?
exact-nonnegative-integer?
any)
(-> (is-a?/c dc<%>)
any))
void?)]
[start-splash
(->* ((or/c path-string?
@ -152,7 +154,9 @@
[else
(parameterize ([current-eventspace splash-eventspace])
(queue-callback
recompute-bitmap/refresh))]))
recompute-bitmap/refresh))])
(void))
(define (set-splash-progress-bar?! b?)
(on-splash-eventspace/ret