From 655444ada92654c4286a70938cf3939312381852 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 14 Feb 2013 19:49:42 -0700 Subject: [PATCH] racket/snip: contract repairs --- collects/racket/snip/private/contract.rkt | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/collects/racket/snip/private/contract.rkt b/collects/racket/snip/private/contract.rkt index 5cee88188e..aa410566c8 100644 --- a/collects/racket/snip/private/contract.rkt +++ b/collects/racket/snip/private/contract.rkt @@ -62,15 +62,15 @@ (get-size-in-pixels-off (->m boolean?)) (get-size-in-pixels-on (->m boolean?)) (get-size-mult (->m real?)) - (get-smoothing-off (->m font-smoothing/c)) - (get-style-off (->m font-style/c)) - (get-style-on (->m font-style/c)) + (get-smoothing-off (->m (or/c 'base font-smoothing/c))) + (get-style-off (->m (or/c 'base font-style/c))) + (get-style-on (->m (or/c 'base font-style/c))) (get-transparent-text-backing-off (->m boolean?)) (get-transparent-text-backing-on (->m boolean?)) (get-underlined-off (->m boolean?)) (get-underlined-on (->m boolean?)) - (get-weight-off (->m font-weight/c)) - (get-weight-on (->m font-weight/c)) + (get-weight-off (->m (or/c 'base font-weight/c))) + (get-weight-on (->m (or/c 'base font-weight/c))) (set-alignment-off (->m alignment/c void?)) (set-alignment-on (->m alignment/c void?)) (set-delta (case->m