Re: Paper Margins are not used?

[Jean-Marc Lasgouttes]

>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:

John> Then this is a matter similar to bug #123260, the prettyref
John> thing. Basically the frontends need some way to query whether a
John> package is available, and enable/disable stuff based on that.

We already have a file (packages.lst) which tells what these files
are. We have to read it and have a good way of querying it. Not very
difficult, actually. However, one may want to work on a document
requiring prettyref although prettyref is not installed (imagine you
work on a document on your laptop, but do not want to typeset). This
means there will be a general UI problem with that. 

JMarc