[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: How to increase the distance between the last note of a measure and
From: |
David Kastrup |
Subject: |
Re: How to increase the distance between the last note of a measure and the following bar line |
Date: |
Fri, 13 Dec 2024 23:13:03 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Kieren MacMillan <kieren@kierenmacmillan.info> writes:
> Hi David,
>
>>> Can you please elaborate just a little bit more on what you're
>>> thinking?
>>
>> Why would you want to list a property that has no effect on a grob?
>
> I, for one, would love to see a list of all properties that are
> implied to have an effect on a grob [by interface inclusion] but don’t
> actually [due to lack of implementation].
The proposal would not distinguish between properties having an effect
and properties not having an effect.
> That would have saved me a lot of frustration when trying to set
> certain properties of certain grobs in the past.
And you think when all properties of an interface are explicitly listed
for a grob even if they don't have an effect, that would help? At the
current point of time, properties with grob-specific value are the only
ones listed specifically for a grob. Those are comparatively certain to
have an effect on the grob (because why else bother setting a
grob-specific value for them?).
--
David Kastrup
- Re: How to increase the distance between the last note of a measure and the following bar line, Trevor Bača, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, mskala, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, Kieren MacMillan, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, David Kastrup, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, mskala, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, David Kastrup, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, mskala, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, Trevor Bača, 2024/12/13
- Re: How to increase the distance between the last note of a measure and the following bar line, Kieren MacMillan, 2024/12/13