[NTG-context] some highlighted \type-ing

[Mojca Miklavec]

Taco Hoekwater wrote:
> 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

Than you very much!. An interesting side-effect though. The text that
follows remains green, at least untill the end of the page ;)
(A workaround is an additional space after the command.)

Thanks,
    Mojca