suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

improvement: (get-display-backing-scale) returns Positive-Real (#462)

Browse Source
This commit is contained in:
WarGrey Gyoudmon Ju 2016-11-28 01:43:49 +08:00 committed by Sam Tobin-Hochstadt
parent 7b6013272b
commit 1c3a0a1f34
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
typed-racket-more/typed/racket/gui/base.rkt
View File

@ -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