Hi,
"pelzflorian (Florian Pelz)" <pelzflor...@pelzflorian.de> skribis:
> Simon Tournier <zimon.touto...@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’.
