Re: some highlighted \type-ing

[Hans Hagen <pragma@wxs.nl>]

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
>
>> 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


consider it a misfeature -)

% the next one was \string, but this prevents coloring, one can make
% it \string again if needed

\let\protectedfirsttype\relax

\bgroup
\catcode`\<=\active
\catcode`\>=\active
\gdef\doprotectfirsttype
  {\ifx\next<%
     \let\next\relax
   \else\ifx\next\bgroup
     \let\next\relax
   \else\ifx\next\egroup % takes care of \type{}
     \let\next\relax
   \else\ifx\next\activeleftargument
     \let\next\relax
   \else
     \let\next\protectedfirsttype
   \fi\fi\fi\fi
   \next}
\egroup


-----------------------------------------------------------------
                                          Hans Hagen | PRAGMA ADE
              Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
     tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                             | www.pragma-pod.nl
-----------------------------------------------------------------