mailing-list for TeXmacs Users

[Henri Lesourd <address@hidden>]

Robert Jerrard wrote:

> OK, so where does it get the default paper size setting for a new
> document when texmacs is started with no document, i.e. the system wide
> default?
>
>  
I would say :
[[
Edit->Preferences->Printer->Paper type
]]