[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Doc: Remove space before the tie symbol (3133) (issue 8758047)
From: |
dak |
Subject: |
Re: Doc: Remove space before the tie symbol (3133) (issue 8758047) |
Date: |
Thu, 25 Apr 2013 15:20:07 +0000 |
On 2013/04/25 15:10:35, Graham Percival wrote:
I'm not wild about having ties without a space in front of them, but I
can't
think of any rational reason for my reaction, so I guess LGTM.
Oh, there is a perfectly rational reason: ties are placed symmetrically
between notes, so placing them symmetrically in the source code reflects
this symmetry.
However, the implementation and the resulting behavior does _not_ have a
similar symmetry. Which is not really all that new: we don't have
comparable input symmetry with slurs either (though it would be
interesting to try).
https://codereview.appspot.com/8758047/