Subject: Re: bug#67038: Inconsistent use of space before ellipsis

From: Ludovic Courtès <[email-masked]>
Date: Fri, 17 Nov 2023 16:47:18 +0100

Hi,

"pelzflorian (Florian Pelz)" <[email-masked]> skribis:

> Simon Tournier <[email-masked]> 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’.