Re: [Texmacs-dev] txexa font

[Nix N. Nix]

Here's how I made txexa work (with TeXmacs-1.0.0.17)

In load-tex.cc:tfm_open:

string name= family * ((dsize==0 || family == "txexa") ? string (""):
as_string (size)) * ".tfm";

and load-tex.cc:pk_open:

string size_name ((dsize==0 || family=="txexa") ? string (""): as_string
(size));

This is obviously a hack, but it illustrates the fact that the name of
the font file does not necessarily include the size of the font.