Re: \omit dynamic occupies space

[David Kastrup]

Thomas Morley <address@hidden> writes:

> 2016-04-27 11:25 GMT+02:00 Graham King <address@hidden>:
>> thanks Harm,
>>
>> On Wed, 2016-04-27 at 01:18 +0200, Thomas Morley wrote:
>>
>> Hi Graham,
>>
>> I guess at the point of time \omit DynamicText is applied the bounds
>> of the Hairpin (and so the extension of it) is already calculated.
>>
>> So \omit DynamicText works, but the Hairpin still keeps it's extension.
>>
>>
>> You know the internals and I don't, but this doesn't seem quite right.
>> \omit DynamicText seems to produce a hairpin that is slightly longer than
>> the hairpin produced in the presence of dynamics:
>
> Well, obviously I was wrong or at least not entirely correct.
> The Hairpin, bound by DynamicText, is calculated in a complex manner.
> I ran against walls before ...
>
> Looks like the already established bounds are respected in some way
> even if their stencil is set #f

Maybe DynamicLineSpanner is also involved in some manner?  I never quite
got how the dynamics are organized here.

-- 
David Kastrup