[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Treating a tie as a slur
From: |
David Kastrup |
Subject: |
Re: Treating a tie as a slur |
Date: |
Sun, 14 Nov 2010 13:17:12 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Valentin Villenave <address@hidden> writes:
> On Sun, Nov 14, 2010 at 12:38 PM, David Kastrup <address@hidden> wrote:
>> Means a tie, as indicated by the user.
>
> Oh. So, setting tieWaitForNote would disable the "automatic-slurs"
> feature?
They would be mutually exclusive, and both off by default, resulting in
a warning instead.
>> Means bad input. Configurable to be treated as a slur to b.
>
> Then it would no longer be "bad input", would it?
Correct.
> My main concern is that such a change would amount to make the input
> syntax more "fault-tolerant", which isn't the direction we've been
> taking so far.
As long as it is not the default.
> That being said, unterminated ties are currently allowed and do not
> produce any warning, so I don't think the current situation is optimal
> either. If anything, we could at least output a "warning: unfinished
> tie. A slur will be printed instead".
> How does it seems to you?
I'd rather just warn, unless a specific option is set. I don't think it
makes much sense to both warn and typeset a slur.
--
David Kastrup
- Re: Treating a tie as a slur, (continued)
- Re: Treating a tie as a slur, Valentin Villenave, 2010/11/11
- Re: Treating a tie as a slur, Johan Vromans, 2010/11/12
- Re: Treating a tie as a slur, Valentin Villenave, 2010/11/12
- Re: Treating a tie as a slur, David Kastrup, 2010/11/13
- Re: Treating a tie as a slur, Carlo Stemberger, 2010/11/14
- Re: Treating a tie as a slur, Valentin Villenave, 2010/11/14
- Re: Treating a tie as a slur, David Kastrup, 2010/11/14
- Re: Treating a tie as a slur, Valentin Villenave, 2010/11/14
- Re: Treating a tie as a slur,
David Kastrup <=
- Re: Treating a tie as a slur, Jan Warchoł, 2010/11/14
- Re: Treating a tie as a slur, Johan Vromans, 2010/11/14
- Re: Treating a tie as a slur, Trevor Daniels, 2010/11/14
- Re: Treating a tie as a slur, Valentin Villenave, 2010/11/14