On Fri, 28 Jul 2006, Hans Hagen wrote:
> Aditya Mahajan wrote:
>> On Fri, 28 Jul 2006, Aditya Mahajan wrote:
>>
>>
>>> Isn't \type<<..>> be supposed to be equivalent to \type{..} ?
>>>
>>> \title{some \type{thing} }
>>>
>>> works perfectly but
>>>
>>
>> Actually this does not work as expected. The font does not change to
>> monotype. Is that delebrate?
>>
>>
> rather nasty ...
>
> in setupcommonverbatim you will see:
>
> %\def\verbatimfont{\typingparameter\c!style\normalnoligatures\font}%
>
> being replaced by
>
> \def\verbatimfont{\dosetfontattribute{\currenttypingclass\currenttyping}\c!style\normalnoligatures\font}%
>
> now, font attributed are ignored in titles and such so we need
>
> \def\verbatimfont{\redoconvertfont\dosetfontattribute{\currenttypingclass\currenttyping}\c!style\normalnoligatures\font}%
Thanks. This works correctly.
Aditya
_______________________________________________
ntg-context mailing list
ntg-context@ntg.nl
http://www.ntg.nl/mailman/listinfo/ntg-context
