6 Sep
2005
6 Sep
'05
3:40 p.m.
Mojca Miklavec wrote:
Hello,
How can I make highlighted \type-d text? I would like \type{\thisTeXcommand[option=something]} to be highlighted in TEX style.
\def\typeTEX {\bgroup \initializetyping{TEX}% \startverbatimcolor \processinlineverbatim\egroup } \starttext \typeTEX{\color[red]} \stoptext
And another request for Taco: with option=TEX, the '%' are typeset with yellowish gray, while the actual comments remain black. How can I make the whole comment gray?
I'll look this up tomorrow, this requires some reworking of verb-tex.tex Greetings, Taco