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, Ma
(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 wrote:
> At Thu, 03 May 2012 14:18:17 -0600, Jon Rafkind wrote:
>> I am using `render-metafunction' from redex/pict inside a
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'
I am using `render-metafunction' from redex/pict inside a scribble document but
the resulting pict's font is too large. How can I make it smaller, or
preferabbly use the same font size as the rest of the document? I found
`current-font-size' from slideshow/base but that doesn't seem to be the ri
4 matches
Mail list logo
