Re: \popContextProperty does not restore unset property

Dan Eble <[email protected]> Sun, 22 Dec 2024 19:32:10 -0500
Newsgroups gmane.comp.gnu.lilypond.bugs
Message-ID <[email protected]>
On 2024-12-22 16:55, Werner LEMBERG wrote:
> 
>> In this example, \popContextProperty appears not to restore the
>> property to the state it was in (unset) before \pushContextProperty.
>> This is a bug, right?
[...]
> 
> [I'm extremely busy the next week without a chance looking at this
>   issue.]
>

I expect to have time to look into it tomorrow.  Unless somebody stops 
me, I'll create a ticket before I start.
-- 
Dan