mailing-list for TeXmacs Users

[Peter Jung <address@hidden>]

hello,

i was very glad to have true type fonts supported by texmacs and did 
not have any problems.

however, today i recognized that texmacs exports to a pdf file with 
bitmap-fonts again, although in
edit->preferences->printer->font type is set to true type. i am using 
the default roman fonts in my document.

do i miss something?