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

fix add-splash-icon contract

Browse Source
This commit is contained in:
Robby Findler 2015-12-15 17:41:09 -06:00
parent debd229668
commit 6fd5459211
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gui-doc/scribblings/framework/splash.scrbl
View File

@ -74,7 +74,7 @@ that number to control the gauge along the bottom of the splash screen.
if there is more initialization work to be done where you do not want to count loaded files.
}
@defproc[(add-splash-icon [bmp (is-a?/c bitmap%)] [x exact-nonnegative-integer?] [y exact-nonnegative-integer?])
@defproc[(add-splash-icon [bmp (is-a?/c bitmap%)] [x real?] [y real?])
void?]{
Adds an icon to the splash screen. (DrRacket uses this function to show the tools as they are loaded.)
}

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

@ -45,7 +45,7 @@
[shutdown-splash (-> void?)]
[close-splash (-> void?)]
[add-splash-icon (-> (is-a?/c bitmap%) exact-nonnegative-integer? exact-nonnegative-integer? void?)]
[add-splash-icon (-> (is-a?/c bitmap%) real? real? void?)]
[set-splash-progress-bar?! (-> boolean? void?)]
[set-splash-char-observer (-> procedure? void?)]
[set-splash-event-callback (-> procedure? void?)]