Vincent van Ravesteijn wrote: > Of course it's a hack. The fact that textcolor is a bit buggy is reason > enough to fix it with a hack.
Since we already have a similar hack for a similar bug (bug 3382, r19057), I see no problem in adding this (branch and trunk). Of course, in the long run, the LateX output should be rewritten, as Uwe said. Jürgen
