[Texmacs-dev] Type1 / Truetype fonts in 1.0.3.2-1

[Marciano Siniscalchi]

Hi all,

I have just upgraded to TeXmacs-1.0.3-2-1. Unless I am doing something 
wrong, I can no longer export to PDF using Type 1 fonts. I *did* select 
TrueType fonts in Edit|Preferences|Printer|Fonts (this preference was 
not retained from my previous version of TeXmacs, 1.0.3). I also tried 
to export to PS, but there is no difference. Just for fun, I also tried 
to select EC and CM fonts, but again there is no difference: Type 3 (= 
ugly bitmap) fonts are used in the PDF or PS file.

This seems to be a problem with 1.0.3-2-1 only: the fonts in 1.0.3 were 
fine, with a couple of exceptions: blackboard bold fonts and double 
quotes. Actually, the problem with blackboard bold  is that TeXmacs uses 
the bbm fonts, which contain bb versions of lowercase letters, but are 
not available in Type1 format. Don't know about the quotes.

M
--
Marciano Siniscalchi     Ph  (847) 491-5398
Department of Economics  Fax (847) 491-7001
Northwestern University
http://www.faculty.econ.northwestern.edu/faculty/siniscalchi