Re: \stopStaff \startStaff bug

[Jean Abou Samra]

Le 07/01/2023 à 19:16, Jean Abou Samra a écrit :
> "\dt + warning if not used"


Come to think of it:

For sure, we don't need a warning about \dt (or grace skips) not being
used in the case where there are no zero-length events at that point.

The grace note problem is extremely general. However, the use cases in
which people write bug reports about it are largely the same: the
events involved are mostly \clef, \time and \key.

As a limited special heuristic, there could be no warning and an
automatic move to before graces if all the zero-length events
are of this category. (More might be added, like \bar and \section.)

I think this would handle quite a number of cases without
the user thinking about it, while still avoiding ambiguity
at all times.

OpenPGP_signature
Description: OpenPGP digital signature