From 037a211f9a29d02a4e461dd561879790e4280a99 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 3 Jan 2014 09:00:41 -0700 Subject: [PATCH] DrRacket: enable @2x bitmaps for tool icons --- pkgs/drracket-pkgs/drracket/drracket/private/tools.rkt | 2 +- pkgs/gui-pkgs/gui-lib/framework/splash.rkt | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/tools.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/tools.rkt index 88ec6d1938..f7e9a7c404 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/tools.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/tools.rkt @@ -354,7 +354,7 @@ (let/ec k (let ([bitmap (with-handlers ([exn:fail:filesystem? (lambda (x) (k (void)))]) - (make-object bitmap% bitmap-path 'unknown/mask))]) + (read-bitmap bitmap-path #:try-@2x? #t))]) (unless (and (is-a? bitmap bitmap%) (send bitmap ok?)) (k #f)) diff --git a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt index 258d870ccd..3597b3bf95 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt @@ -189,7 +189,7 @@ (send splash-canvas min-width (send splash-bitmap get-width)) (send splash-canvas min-height (send splash-bitmap get-height)) - (set! splash-cache-bitmap (make-object bitmap% + (set! splash-cache-bitmap (make-screen-bitmap (send splash-bitmap get-width) (send splash-bitmap get-height)))] [(and (vector? splash-draw-spec) @@ -199,7 +199,7 @@ (set! splash-paint-callback (vector-ref splash-draw-spec 0)) (send splash-canvas min-width (vector-ref splash-draw-spec 1)) (send splash-canvas min-height (vector-ref splash-draw-spec 2)) - (set! splash-cache-bitmap (make-object bitmap% + (set! splash-cache-bitmap (make-screen-bitmap (vector-ref splash-draw-spec 1) (vector-ref splash-draw-spec 2)))] [(not splash-draw-spec)