From 08ac3a178fe8aeca36bf58d0ac2a6020db63cf03 Mon Sep 17 00:00:00 2001 From: Asumu Takikawa Date: Wed, 25 Feb 2015 13:49:39 -0500 Subject: [PATCH] Add init-rest args to Font% type --- .../typed/racket/private/gui-types.rkt | 23 ++++++++++++++++++- 1 file changed, 22 insertions(+), 1 deletion(-) diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index cf514634..a2c99569 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -522,7 +522,28 @@ (define-type Font-Hinting (U 'aligned 'unaligned)) (define-type Font% - (Class [get-face (-> (Option String))] + (Class (init-rest (U Null + (List Real Font-Family) + (List Real Font-Family Font-Style) + (List Real Font-Family Font-Style Font-Weight) + (List Real Font-Family Font-Style Font-Weight Any) + (List Real Font-Family Font-Style Font-Weight Any + Font-Smoothing) + (List Real Font-Family Font-Style Font-Weight Any + Font-Smoothing Any) + (List Real Font-Family Font-Style Font-Weight Any + Font-Smoothing Any Font-Hinting) + (List Real String Font-Family) + (List Real String Font-Family Font-Style) + (List Real String Font-Family Font-Style Font-Weight) + (List Real String Font-Family Font-Style Font-Weight Any) + (List Real String Font-Family Font-Style Font-Weight Any + Font-Smoothing) + (List Real String Font-Family Font-Style Font-Weight Any + Font-Smoothing Any) + (List Real String Font-Family Font-Style Font-Weight Any + Font-Smoothing Any Font-Hinting))) + [get-face (-> (Option String))] [get-family (-> Font-Family)] [get-hinting (-> Font-Hinting)] [get-point-size (-> Positive-Integer)]