![](https://secure.gravatar.com/avatar/565476157eb3895a9c928ffce26d988d.jpg?s=120&d=mm&r=g)
6 Sep
2005
6 Sep
'05
10:21 a.m.
Mojca Miklavec wrote:
Taco Hoekwater wrote:
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.)
It should be possible to catch this inside \processinlineverbatim somewhere. Will check -- Taco