Aha I see metafunction-font-size and other useful things like `linebreaks', thanks.
On 05/03/2012 02:43 PM, Robby Findler wrote: > (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 <mfl...@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 ____________________ Racket Users list: http://lists.racket-lang.org/users
