mailing-list for TeXmacs Users

[Jay Belanger <address@hidden>]

> > In my graphics, I tend to use fonts slightly smaller than in my usual
> > text.  That means that every time I add text to a graphic, I have to
> > adjust the font.
> > Is there a way to set a default font for graphics that is separate
> > from the default font for the document?
>
> No, there is no "default" font for graphics,
> but you could very well put each of your graphics inside
> some custom environment.  Such an environment could set
> the font, the font size, and whatever else you wish to customize.

Oh; that's perfect!   Thanks.

Jay