mailing-list for TeXmacs Users

[address@hidden]

On Fri, Dec 06, 2002 at 02:40:36PM -0500, address@hidden wrote:
> De: address@hidden
> > 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.

You are right. But you are wrong :-)

TeXmacs uses two different page sizes: the document page size, which
is set from the Document menu, and the printing page size which is
currently set in the Edit->Preference menu and will be moved to the
"File->Page setup" menu (which is the GUI standard location for such
settings).

Actually, I am not really convinced the "printing page size" is a good
feature.

When exporting to PostScript, users expect the Document page size to
be used in the produced PostScript. Currently the document page size
sets the "page bounding box" and printing page size sets the "paper
size" in PostScript. That leads to unexpected behaviour in PS viewers.

Then, printing of exported PostScript is handled by the PS viewer, in
which the user will set the correct paper size he uses and which may
shrink the pages to fit on the paper.

When printing directly from TeXmacs, the printing page size setting
does make sense, but only if it used to perform some useful action
(like shrinking the page to fit on paper), which I do not believe it
currently does.

Joris: what do you think of that issue?

-- 
David Allouche         | GNU TeXmacs -- Writing is a pleasure
Free software engineer |    http://www.texmacs.org
   http://ddaa.net     |    http://alqua.com/tmresources
   address@hidden  |    address@hidden
TeXmacs is NOT a LaTeX front-end and is unrelated to emacs.