diff --git a/typed-racket-more/typed/racket/draw.rkt b/typed-racket-more/typed/racket/draw.rkt index f00fe74c..c7038250 100644 --- a/typed-racket-more/typed/racket/draw.rkt +++ b/typed-racket-more/typed/racket/draw.rkt @@ -27,6 +27,7 @@ racket/draw/private/color racket/draw/private/font racket/draw/private/pen + racket/draw/private/record-dc racket/draw/private/region) LoadFileKind Font-Family @@ -56,6 +57,7 @@ Point% PS-Setup% Radial-Gradient% + Record-DC% Region%)) (begin-for-syntax @@ -86,6 +88,7 @@ [pen% (parse-type #'Pen%)] [ps-setup% (parse-type #'PS-Setup%)] [radial-gradient% (parse-type #'Radial-Gradient%)] + [record-dc% (parse-type #'Record-DC%)] [region% (parse-type #'Region%)] ;; 26 Drawing Functions [current-ps-setup (-Param (-inst (parse-type #'PS-Setup%)))] diff --git a/typed-racket-more/typed/racket/private/gui-types.rkt b/typed-racket-more/typed/racket/private/gui-types.rkt index a2c99569..cdee7510 100644 --- a/typed-racket-more/typed/racket/private/gui-types.rkt +++ b/typed-racket-more/typed/racket/private/gui-types.rkt @@ -33,6 +33,7 @@ Point% PS-Setup% Radial-Gradient% + Record-DC% Region%) (define-type LoadFileKind @@ -498,6 +499,13 @@ [set-bitmap ((Option (Instance Bitmap%)) -> Void)] [set-pixel (Real Real (Instance Color%) -> Boolean)])) +(define-type Record-DC% + (Class #:implements DC<%> + (init [width Real #:optional] + [height Real #:optional]) + [get-recorded-datum (-> Any)] + [get-recorded-procedure (-> (-> (Instance DC<%>) Void))])) + (define-type Font-List% (Class [find-or-create-font