adding space after heading and more
John Cowan
cowan at ccil.org
Fri Nov 13 18:02:14 GMT 2020
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/1039a9fa/attachment-0001.htm>
More information about the Gemini
mailing list