On Thu, 13 Nov 2008 23:40:04 +0100, Roan Kattouw wrote:
Steve Sanbeg schreef:
On Thu, 13 Nov 2008 22:53:15 +0100, Platonides wrote:
Roan Kattouw wrote:
That would be significantly harder to implement, and also potentially confusing. Writing an extension that implements <comment></comment> is ridiculously easy, whereas introducing new syntax of another kind would be very hard on pretty much everyone whose name isn't Tim Starling :)
Roan Kattouw (Catrope)
Agree. Much better to add a <htmlcomment> and changing it to a shorter name if needed would be trivial.
Now, some implementation details: What to with a --> inside a html comment? And -- ?
Well, <source lang=html4strict><!-- comment --></source> seems to work like I'd expect, so the normal extension handling should get it right. Strip <comment>, remove <!-- .. -->, unstrip <comment>
Hmm, that's starting to sound scary. Doesn't <nowiki><!-- comment --></nowiki> work? If it doesn't, we could ask Tim to make it work (shouldn't be too hard).
Roan Kattouw (Catrope)
This doesn't seem scary, but I really should read the new preprocessor more thoroughly. Anyway, it seems like both <!--<nowiki>-->''text''<!--</nowiki>-->
and
<nowiki><!-- comment --></nowiki>
work properly, so nesting and comments doesn't seem to be much of an issue.