[Texmacs-dev] Printing documents

[Michèle Garoche]

Hello Joris,

In software/texmacs-doc/main/start/man-print.en.tm,

1 - there is the following sentence (third sentence):

These default settings can be changed in Settings->Printer

There is no Settings menu, just a Preferences->Printer menu.

Should it be changed? In English doc too?

2 - in the second sentence of the second paragraph:

Document->Page->Screen layout->As on paper

There is no such submenu, but:

Document->Page->Screen layout->Margins as on paper

Should it be changed? In English doc too?

Michèle