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

Add init-rest args to Font% type

Browse Source
This commit is contained in:
Asumu Takikawa 2015-02-25 13:49:39 -05:00
parent 8931accc7c
commit 08ac3a178f
1 changed files with 22 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
typed-racket-more/typed/racket/private/gui-types.rkt
View File

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