15 Nov
2011
15 Nov
'11
3:35 a.m.
On Mon, 14 Nov 2011, Hans Hagen wrote:
On 14-11-2011 09:47, Aditya Mahajan wrote:
On Fri, 11 Nov 2011, Steffen Wolfrum wrote:
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.
As long as there is no line break in the comment, the following lua based solution works (inspired by m-translate)
or ...
Why not go all the way with full multiline comments then? See attached. Aditya