|
From: | Dan Eble |
Subject: | Re: \popContextProperty does not restore unset property |
Date: | Sun, 22 Dec 2024 19:32:10 -0500 |
User-agent: | Mozilla Thunderbird |
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
[Prev in Thread] | Current Thread | [Next in Thread] |