On 2024-02-15 23:56, Kyle Lippincott wrote:
On Thu, Feb 15, 2024 at 2:38 PM Dragan Simic <dsimic@xxxxxxxxxxx>
wrote:
On 2024-02-15 23:31, Kyle Lippincott wrote:
> Very minor nit: the prevailing style in this document appears to be to
> have a single space after the period, but it's definitely
> inconsistent. I don't see anything in Documentation/CodingGuidelines
> suggesting one way or the other, so don't consider this comment as
> blocking, just informational. If we want to achieve (eventual)
> consistency, we may want to use a single space after the period now.
In this case, I went with following the intersentence spacing used in
the surrounding text. Though, my brain and muscle memory are kind of
hardcoded to use double spacing, which may not be as prevalent as a
while
ago, but IMHO makes reading text rendered using a fixed-width font
much
easier. I can adjust if needed, of course.
No need to adjust if I'm the only one mentioning it. I'm very new to
the project, so please don't take my style nits as any sort of
mandate, since I'm the one that's most likely to be miscalibrated. :)
Basically, when it comes to the intersentence spacing, it seems that
double spacing has lost its popularity over time. It originates from
the old times when mechanical typewriters were used, which most people
probably don't even remember these days. :)
