From 101333abb1ac14bcc354aab2e2a02bc6eaad5dee Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Fri, 9 Jan 2015 13:38:49 -0500 Subject: [PATCH] Add missing DC<%> method type Closes PR 14901 --- typed-racket-more/typed/racket/private/gui-types.rkt | 1 + 1 file changed, 1 insertion(+) diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 1fcaef1c..57269b9d 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -317,6 +317,7 @@ [resume-flush (-> Void)] [rotate (Real -> Void)] [scale (Real Real -> Void)] + [set-alignment-scale (-> Real Void)] [set-alpha (Nonnegative-Real -> Void)] [set-background ((U (Instance Color%) String) -> Void)] [set-brush (case->