[racket] render-metafunction font size

From: Jon Rafkind (rafkind at cs.utah.edu)
Date: Thu May 3 16:47:11 EDT 2012

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

Posted on the users mailing list.