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?

Thanks,
Jay