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 '' ? That would be require a much larger patch though. Taco