adding space after heading and more

On Fri, Nov 13, 2020 at 12:37 PM Drew DeVault <sir at cmpwn.com> wrote:

I also support requiring the space, because it's a pretty simple change
> that makes the document format and interpretation more strict.
>

What happened to "Don't change the spec"?  As written it is very clear: a
line beginning with "#" is a heading, and it can take one of three forms:
"#" + optional whitespace + heading text, "##" + optional whitespace +
heading text, or "###" + optional whitespace + heading text.  It is the
heading text that should be displayed: whether the rest of the line is kept
is completely up to the client.

So the six cases "#foo", "##foo", "###foo", "# foo", "## foo", "### foo"
(and so on for more spaces) all have the same heading text.  Disallowing
the first three cases is a backwards-incompatible change.  In addition,
presumably you would want to disallow "#  foo" (two spaces) as well, which
is an even more backwards-incompatible change.



John Cowan          http://vrici.lojban.org/~cowan        cowan at ccil.org
Tautology is something that is tautological.  --Francois-Rene Rideau
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.orbitalfox.eu/archives/gemini/attachments/20201113/1039
a9fa/attachment-0001.htm>

---

Previous in thread (4 of 7): 🗣️ Drew DeVault (sir (a) cmpwn.com)

Next in thread (6 of 7): 🗣️ Drew DeVault (sir (a) cmpwn.com)

View entire thread.