| 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. |
|
![[logo]](/logo.png){kind=logo}