mailing-list for TeXmacs Users

[Javier Arantegui <address@hidden>]

Joris van der Hoeven escribió:

> You may wish to set
>
>         File -> Page setup -> Font type -> True type
>
> before exporting to Pdf.
>  
Is there any difference between that and set

     Edit -> Preferences -> Printer -> Font type -> True Type

?

Javier