[racket] render-metafunction font size

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu May 3 16:35:51 EDT 2012

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'.

Posted on the users mailing list.