[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: `TextSpanner` vs. `DynamicTextSpanner`
|
From: |
Werner LEMBERG |
|
Subject: |
Re: `TextSpanner` vs. `DynamicTextSpanner` |
|
Date: |
Sat, 05 Mar 2022 16:19:04 +0000 (UTC) |
>> Sometimes, this would be very helpful, yes (see attached image from
>> the last scene of 'Wozzeck'). I guess a possible work-around would
>> be to (ab)use `DynamicTextSpanner` for that.
>
> [...] There is also this kind of code: [...] See issue #3176.
Very nice, thanks! Maybe this should be added?
Werner