On Mon, Oct 16, 2006 at 04:37:45PM +0200, Joost Verburg wrote: > Then let's keep it simple. When the command starts with !, it gets > priority. No modifications to configure.py or anything else. > > Is this OK?
Joost, given that the preferences file takes precedence, why don't simply modify configure.py such that when a preferences file does not already exists, on Windows it provides a default one with a single appropriate \format entry for pdf? In this way you can take into account new installations and the user must then specifically override that entry to change it. -- Enrico
