[pdftex] Problem with colors in included PDF file

[Andreas Matthias]

Heiko Oberdiek wrote:

> Therefore I would prefer an option for pdftex.def so that the
> user can change the behaviour to his needs.
> To be discussed:
> * Option name:
>   * "black", "black=true", "black=false"
>   * (default)color=black
> * Default for this option: a) or b)
> What do/does you/everyone prefer?

`defaultcolor' is most descriptive and flexible. Default should
be `black', which is what most people expect. And then a
defaultcolor=none would be nice.

Ciao
Andreas