[Texmacs-dev] [PATCH]:Better colour handling

[Nix]

Hi !

Long time no patch :o)

I have tried submitting this on savannah, but, apparently they have gone
the way of the Debian with the recent kernel bug.

{\red Some text}

doesn't work with either latex or pdflatex.  I have replaced it with

{\color{red} Some text}

which does work with both.  This, however, requires

\usepackage{color}

so I added that to the "needs" list.

I also added some preamble:

\definecolor{grey}{rgb}{0.75,0.75,0.75}
\definecolor{orange...

for those colours available in TeXmacs, but not predefined in color.sty
.

The patch is attached.



Best regards.

1.0.2.10-colours.patch
Description: Text Data