diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index 10bbe1c3..a546f134 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -171,6 +171,7 @@ [cap Pen-Cap-Style #:optional] [join Pen-Join-Style #:optional] [stipple (Option (Instance Bitmap%)) #:optional]) + [get-style (-> Pen-Style)] [get-cap (-> Pen-Cap-Style)] [get-color (-> (Instance Color%))] [get-join (-> Pen-Join-Style)] @@ -565,15 +566,15 @@ 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 + (List Real (Option String) Font-Family) + (List Real (Option String) Font-Family Font-Style) + (List Real (Option String) Font-Family Font-Style Font-Weight) + (List Real (Option String) Font-Family Font-Style Font-Weight Any) + (List Real (Option String) Font-Family Font-Style Font-Weight Any Font-Smoothing) - (List Real String Font-Family Font-Style Font-Weight Any + (List Real (Option String) Font-Family Font-Style Font-Weight Any Font-Smoothing Any) - (List Real String Font-Family Font-Style Font-Weight Any + (List Real (Option String) Font-Family Font-Style Font-Weight Any Font-Smoothing Any Font-Hinting))) [get-face (-> (Option String))] [get-family (-> Font-Family)]