Re: In-line syntax highlighting for type

[Hans Hagen <pragma@wxs.nl>]

Aditya Mahajan wrote:
>
> I understand that this is one of the more tricky things in TeX. Right 
> now, Mojca's workaround of adding a space after the comand works most 
> of the time. If there is a punctuations after the type+...+ one does 
> not want a space between the type and the punctuation. \unskip and 
> friends make the output look alright, but with a horrible looking 
> source.
>
> I hope that lua will make doing these things a bit easier.
>   
in that case the whole pretty printing is done in lua ; in tex we have to use aftergroup stuff and the problem is that info is lost on the way (ok, there is a solution, but it involves messy macros because we want to use all that stuff nested as well) 

Hans 

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