mailing-list for TeXmacs Users

[TeXmacs <address@hidden>]

Hi Jay,

On Tue, Dec 28, 2021 at 07:06:55PM -0600, Jay Belanger wrote:
> 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.

Best wishes, --Joris