diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/app.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/app.rkt index d6788eb0fa..590d678755 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/app.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/app.rkt @@ -76,12 +76,13 @@ (super-new))) (define (get-plt-bitmap) - (make-object bitmap% - (build-path (collection-file-path - (if (< (get-display-depth) 8) - "pltbw.gif" - "plt-logo-red-shiny.png") - "icons")))) + (read-bitmap + (build-path (collection-file-path + (if (< (get-display-depth) 8) + "pltbw.gif" + "plt-logo-red-shiny.png") + "icons")) + #:try-@2x? #t)) diff --git a/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt b/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt index 911f1a87f3..1299c0e7a8 100644 --- a/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt +++ b/pkgs/drracket-pkgs/drracket/drracket/private/drracket-normal.rkt @@ -168,7 +168,7 @@ (define (read-bitmap/no-crash fn) (with-handlers ((exn:fail? (λ (x) (make-object bitmap% "dne.png")))) - (read-bitmap fn))) + (read-bitmap fn #:try-@2x? #t))) (define the-splash-bitmap (and (path? the-bitmap-spec) (read-bitmap/no-crash the-bitmap-spec))) diff --git a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt index 3597b3bf95..fdfcde335a 100644 --- a/pkgs/gui-pkgs/gui-lib/framework/splash.rkt +++ b/pkgs/gui-pkgs/gui-lib/framework/splash.rkt @@ -180,7 +180,7 @@ (eprintf "WARNING: bitmap path ~s not found\n" splash-draw-spec) (no-splash)) - (set! splash-bitmap (make-object bitmap% splash-draw-spec))] + (set! splash-bitmap (read-bitmap splash-draw-spec #:try-@2x? #t))] [else (set! splash-bitmap splash-draw-spec)]) diff --git a/pkgs/icons/plt-logo-red-diffuse@2x.png b/pkgs/icons/plt-logo-red-diffuse@2x.png new file mode 100644 index 0000000000..4ec3d484f2 Binary files /dev/null and b/pkgs/icons/plt-logo-red-diffuse@2x.png differ diff --git a/pkgs/icons/plt-logo-red-shiny@2x.png b/pkgs/icons/plt-logo-red-shiny@2x.png new file mode 100644 index 0000000000..b9b8592ac8 Binary files /dev/null and b/pkgs/icons/plt-logo-red-shiny@2x.png differ