https://bugs.documentfoundation.org/show_bug.cgi?id=160024

--- Comment #5 from Balázs Varga (allotropia) <[email protected]> ---
(In reply to Stéphane Guillou (stragu) from comment #4)

> But users might end up with duplicated spaces for many different reasons
> (including the habit of typing two spaces after a full stop, or a plain
> error). They aren't necessarily trying to align text a certain way. So we
> shouldn't assume the intent, and could stick to something plain a short:
> 
> "Avoid repeated spaces."

Yes, both is good, but the second option ("Avoid repeated spaces.") is better,
since includes all the reasons why users would use it.

-- 
You are receiving this mail because:
You are the assignee for the bug.

Reply via email to