Re: How to increase the distance between the last note of a measure and the following bar line

[David Kastrup]

Kieren MacMillan <kieren@kierenmacmillan.info> writes:

> Hi David,
>
>>> 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?
>
> If they were split up into sections, absolutely.
>
> SETTABLE PROPERTIES:
>
> a
> b
> c [via x_interface]
> _______
>
> WARNING: THE FOLLOWING INTERFACE PROPERTIES HAVE NO EFFECT ON THIS GROB:
>
> x
> y
> z
>
> We have “Known Issues & Warnings” in other parts of the doc — why not here?

Because it is wrong.  The best you could hope for would be

"WARNING: the following interface properties may or may not have an
effect on this grob:"

And you'd get a humongous list of warnings on every single grob, taking
up a lot more size than the actual properties with grob-specific
defaults.

-- 
David Kastrup