[racket] render-metafunction font size

(There are a bunch of such knobs, and they should be all right next to
each other in the redex/pict library's documentation.)

On Thu, May 3, 2012 at 3:35 PM, Matthew Flatt <mflatt at cs.utah.edu> wrote:
> At Thu, 03 May 2012 14:18:17 -0600, Jon Rafkind wrote:
>> I am using `render-metafunction' from redex/pict inside a scribble
>> document but the resulting pict's font is too large.
>
> How about scaling the pict using `scale'?
>
> Otherwise, I think you want `default-font-size' and
> `metafunction-font-size' from `redex'.
> ____________________
>  Racket Users list:
>  http://lists.racket-lang.org/users