From 6fd545921181ce01a6686caedcd7e26e17420c44 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Tue, 15 Dec 2015 17:41:09 -0600 Subject: [PATCH] fix add-splash-icon contract --- gui-doc/scribblings/framework/splash.scrbl | 2 +- gui-lib/framework/splash.rkt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/gui-doc/scribblings/framework/splash.scrbl b/gui-doc/scribblings/framework/splash.scrbl index 3de13845..18a4d20f 100644 --- a/gui-doc/scribblings/framework/splash.scrbl +++ b/gui-doc/scribblings/framework/splash.scrbl @@ -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.) } diff --git a/gui-lib/framework/splash.rkt b/gui-lib/framework/splash.rkt index 10a5f75b..c0f0aa41 100644 --- a/gui-lib/framework/splash.rkt +++ b/gui-lib/framework/splash.rkt @@ -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?)]