mailing-list for TeXmacs Users

[address@hidden]

Hi,

----- Original Message -----
De: address@hidden
Fecha: Martes, Diciembre 3, 2002 8:54 am
Asunto: Re: Quick questions from a new user

> 
> You have to set the printer page size in the menu
> "Edit->Preferences->Printer->Paper type". That menu will be moved 
> in a
> new "File->Page setup" menu.

I think that would be better under "Document -> Page -> Size" because In
my opinion the Page Size is a property of the document not a property of
the file.

Just an opinion.

Bye,

Offray