From 1c3a0a1f34d3180c4c4aa57ab1bf4542a1993315 Mon Sep 17 00:00:00 2001 From: WarGrey Gyoudmon Ju Date: Mon, 28 Nov 2016 01:43:49 +0800 Subject: [PATCH] improvement: (get-display-backing-scale) returns Positive-Real (#462) --- typed-racket-more/typed/racket/gui/base.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typed-racket-more/typed/racket/gui/base.rkt b/typed-racket-more/typed/racket/gui/base.rkt index ba4bdb78..a270a3f8 100644 --- a/typed-racket-more/typed/racket/gui/base.rkt +++ b/typed-racket-more/typed/racket/gui/base.rkt @@ -281,7 +281,7 @@ (cl->* (-> (-> ManyUniv)) (-> (-> ManyUniv) -Void))] ;; 4.4 Global Graphics [flush-display (-> -Void)] - [get-display-backing-scale (->key #:monitor -Nat #f (-opt -NonNegReal))] + [get-display-backing-scale (->key #:monitor -Nat #f (-opt -PosReal))] [get-display-count (-> -PosInt)] [get-display-depth (-> -Nat)] [get-display-left-top-inset