Re: [Texmacs-dev] txexa font

[Joris van der Hoeven]

> I think I know what might be the problem.  TeXmacs always loads fonts
> via font name and font size, i.e., fontname10 or fontname7.  txexa does
> not have a size as part of the filename. It's simply
>
> /usr/share/texmf/fonts/tfm/public/tx/txexa.tfm
>
> For example, I ran
>
> mktexmf txexa
>
> and
>
> mktexpk txexa
>
> just fine, and it generated
>
> /var/lib/texmf/pk/modeless/public/tx/txexa.600pk
>
> without a hitch.  Consequently, I think TeXmacs could produce the txexa
> font if it didn't always have to have a filename consisting of both a
> font name and a font size.

Hmm, strange, I already foresaw that possibility by specifying 0
as the design size. E.g.:

        xtexfont txexa 10 600 3 0

I tried this before and it did not work. But I now retried and
it suddenly does work. I also do not understand why there exists
a txexa font, but no cmexa font.