Nick Dokos <ndo...@gmail.com> writes:
> No: I'm saying that if this change is implemented, {{{foo}}} should be
> deprecated (probably raising a deprecation warning when encountered) and
> that both {{foo}} and {{{foo}}} should work identically, at least until
> the next major release (we can debate whether that's 8.3 or 8.4 or
> 9.0). At that point and forever after, the old syntax starts raising
> errors instead of warnings.
Agreed. Also, the whole issue is not that important IMO.
If the {{{...}}} are visually annoying, we can as well rely
on text properties to hide them and on faces to display
them in a different way (as we do already.)
--
Bastien
