Re: some highlighted \type-ing

[Taco Hoekwater <taco@elvenkind.com>]

Mojca Miklavec wrote:
> Taco, you sent some patch for XML syntax highlighting some time ago.
> 
> I don't know if you fixed this one as well:
>     <!-- some text -->
> The both minus signs in "-->" are highlighted wrong as well. The code
> inside <!-- ... --> is gray, but it would be great to have both
> delimiters highligted as "comment" as well.

With this simple patch (only two new commands),  both sets of dashes
are blue:

   \input verb-xml
   \unprotect
   \gdef\dododoXMLtypeonefive#1#2%
     {\getprettydata{#2}%
      \ifnum\prettytype=11
      \endofpretty
      \beginofpretty[\!!prettythree]%TH: NEW
      \getpretty{\prev}#1\empty
      \endofpretty                  %TH: NEW
      \global\inXMLcommentfalse#2%
      \else
      \getpretty{\prev}#1#2%
      \fi}
   \protect

This makes comments behave like PI instructions, but maybe
you want the entire comment grey, including the leading
'<!' and trailing '>' ?
That would be require a much larger patch though.

Taco