mailing-list for TeXmacs Users

[Giovanni Piredda <address@hidden>]

Hi Richard,


> I have tried your idea : Document -> Font -> Advanced
>
> but there is no « Advanced » in my ''Document -> Font’’ menu.


Could you please post a screenshot of that menu?

Said this, I think using the menu item Document->Magnification then 
setting it at 0.98 is better (see my previous message). And the 
suggestion of Massimiliano of changing font size is yet better.


Giovanni