11 Nov
2011
11 Nov
'11
4:01 p.m.
Am 11.11.2011 um 16:34 schrieb Steffen Wolfrum:
Hi Hans,
quite often I wish we could have a kind of in line comment: Something like ¿this is my comment¡ this.
I assume it is not trivial due to catcode issues, to say the least. But nevertheless, as it is getting close to christmas, I just wanted to mention this idea here.
\usemodule[annotation] \defineannotation[hide][alternative=none] \starttext Something like \hide{This is my comment!} this. \stoptext A simple definition of the hide which doesn’t require the annotation module is: \define[1]\hide{\removeunwantedspaces} Wolfgang