From c3a87fc5dda2bd08f654fc7d25b26a30599c662d Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 10 Apr 2015 18:57:35 -0400 Subject: [PATCH] Add a type for get-display-backing-scale --- typed-racket-more/typed/racket/gui/base.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-more/typed/racket/gui/base.rkt b/typed-racket-more/typed/racket/gui/base.rkt index b12eabd9..eaa3892a 100644 --- a/typed-racket-more/typed/racket/gui/base.rkt +++ b/typed-racket-more/typed/racket/gui/base.rkt @@ -280,6 +280,7 @@ (cl->* (-> (-> ManyUniv)) (-> (-> ManyUniv) -Void))] ;; 4.4 Global Graphics [flush-display (-> -Void)] + [get-display-backing-scale (->key #:monitor -Nat #f (-opt -NonNegReal))] [get-display-count (-> -PosInt)] [get-display-depth (-> -Nat)] [get-display-left-top-inset