Juergen Spitzmueller wrote: > I'm not sure. After all, we do _not_ want usenames in other cases than > dvipost. Also I'm not sure if usenames is mutually exclusive with other > color options that might be needed by other packages.
Y'know, what this smacks of is "clever" behaviour which is all very good but I think that some future "package manager" should give the user the ability to explicitly turn on and off the options to a package. Wasn't a package manager something that was interesting you at one time, Jürgen? -- Angus
