mailing-list for TeXmacs Users

[Richard gomez <address@hidden>]

Hello,

it seems that my font size is 10 (default size).


I have done this :

‘’Document’’ -> ‘’Magnification’’ -> 0.98

and it have worked !

Now, my document contains 833 pages instead of 847 !

First time i tried, it didn’t work (i did it wrong, probably).


I will ask to my editor if they accept 847 pages.




Thank you,

Best regards,

Richard





P.-S.

When i go to ‘’Document'' -> ‘’Font…’’ 
there is a popup which allows me to fix the font size.

Do you think that it might be reasonable to fix a 9 point font size ? 







> Le 5 avr. 2023 à 17:04, Giovanni Piredda <address@hidden> a écrit :
> 
> 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
> 
>