I think of coding something for paper sizes. That's what I propose: - a set of predefined paper sizes (ISO and US) - user-definable sizes - the default paper size is set according to the locale (country) where the user is. Any comments? How to do this cleanly? -- David Monniaux http://www.di.ens.fr/~monniaux Laboratoire d'informatique de l'École Normale Supérieure, Paris, France
