\popContextProperty does not restore unset property

Dan Eble <[email protected]> Sun, 22 Dec 2024 15:34:24 -0500
Newsgroups gmane.comp.gnu.lilypond.bugs
Message-ID <[email protected]>
In this example, \popContextProperty appears not to restore the property 
to the state it was in (unset) before \pushContextProperty.  This is a 
bug, right?

\new Staff <<
   {
     \time 2/4
     \set Score.autoBeaming = ##f
     \skip 8*6
     \set Score.autoBeaming = ##t
   }
   \new Voice \with \voiceOne {
     \repeat unfold 12 c''8 % uses Score.autoBeaming
   }
   \new Voice \with \voiceTwo {
     \repeat unfold 4 a'8 % uses Score.autoBeaming (#f)
     \pushContextProperty Voice.autoBeaming ##t
     \repeat unfold 4 a'8 % uses Voice.autoBeaming (#t)
     \popContextProperty Voice.autoBeaming
     \repeat unfold 4 a'8 % should resume using Score.autoBeaming (#t)
   }
 >>

-- 
Dan
push-context-property.preview.png (image/png, 3.3 KB) - not displayed