diff --git a/drracket/drracket/private/tools.rkt b/drracket/drracket/private/tools.rkt index 69af981ea..7d8f0f09e 100644 --- a/drracket/drracket/private/tools.rkt +++ b/drracket/drracket/private/tools.rkt @@ -390,7 +390,7 @@ ;; add the bitmap, but centered at its position ;; (used to truncate the bitmap ;; if it was too large, but no longer) - ((dynamic-require 'framework/splash 'add-splash-icon) + (add-splash-icon bitmap (floor (+ tool-bitmap-x (- (/ tool-bitmap-size 2)