[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#67038: Inconsistent use of space before ellipsis
From: |
Ludovic Courtès |
Subject: |
bug#67038: Inconsistent use of space before ellipsis |
Date: |
Fri, 17 Nov 2023 16:47:18 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hi,
"pelzflorian (Florian Pelz)" <pelzflorian@pelzflorian.de> skribis:
> Simon Tournier <zimon.toutoune@gmail.com> writes:
>> For consistency, I suggest the rule: ’word...’ and not ’word ...’
>>
>> Something like the patch attached.
>
> +1
+1!
> (match event
> […]
> (('download-started item uri _ ...)
> (when print-urls?
> (erase-current-line*)
> (format port (info (G_ "downloading from ~a ...")) uri)
> (newline port)))
>
> Should we keep this space? Perhaps keep it; it is clearer where the
> URI ends.
Yes, we should keep this one: somebody added it on the grounds that it
allowed them to click on URLs in their terminal and get the correct URL,
without the period.
Ludo’.