(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 <[email protected]> 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 ____________________ Racket Users list: http://lists.racket-lang.org/users
