Re: broadcasting override-events (was [Re: Edition Engraver bug?])

[Jan-Peter Voigt]

Am 07.03.2018 um 15:30 schrieb David Kastrup:
> Jan-Peter Voigt <address@hidden> writes:
>
> > Am 07.03.2018 um 11:25 schrieb David Kastrup:
> > > Check the source code in lily/property-iterator.cc to see what to
> > > generate here for the various events (Push/Pop correspond to
> > > override/revert).
> >
> > Thank you David! This allows me to refactor the code.
>
> Actually, Push/Pop correspond to "temporary override/revert".  A normal
> override is translated into Pop+Push in sequence if I remember
> correctly.
yep, and I will repair the handling of _not_ \temporary \overrides. 
Right now EE handles all overrides as temporary.