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

[Joris van der Hoeven]

Hi,

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

Yes :^(

> {\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.

Great; thanks. I applied the patch. Would it be possible for you to
take a look at the LaTeX import filter too, and make a corresponding
patch for reconverting \color{...} commands back into TeXmacs.

Best wishes, Joris