Michael Felt <aixto...@felt.demon.nl> added the comment:
Thanks. afaik, double spacing is a 'feature' a programmer added to a text processing language - of the WYSIWUG kind, because program's such as troff/nroff didn't need them. They, rather it, understood that a period followed by a space indicated the end of a sentence. On 26/07/2020 18:39, Serhiy Storchaka wrote: > Serhiy Storchaka <storchaka+cpyt...@gmail.com> added the comment: > > I think they are not required, but recommended. > > >From https://www.python.org/dev/peps/pep-0008/#comments: > > You should use two spaces after a sentence-ending period in multi- > sentence comments, except after the final sentence. > > >From https://www.python.org/dev/peps/pep-0012/#general: > > You must adhere to the Emacs convention of adding two spaces at the end of > every sentence. > > AFAIK in English typography the space after a sentence-ending period is > longer than spaces between words. In other European typographies they have > the same width. I thought it was where type setters, classically, used the break between the endings of a sentence - additional 'kerning' could be applied there. Anyway - final question: does .rst reformat line-lingths, or does it present everything literally - only adding ``embellishments``. I have been thinking it does both - and, yet another convention for sentence endings is to always start a sentence on a new line (and two new-lines indicate start of a paragraph. However, for now - double-spaces will remain - and I hope to remember to add my own :) > ---------- > > _______________________________________ > Python tracker <rep...@bugs.python.org> > <https://bugs.python.org/issue18280> > _______________________________________ > ---------- _______________________________________ Python tracker <rep...@bugs.python.org> <https://bugs.python.org/issue18280> _______________________________________ _______________________________________________ Python-bugs-list mailing list Unsubscribe: https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com
