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