Issue 336550043: Issue 5273: Replace number-or-markup? with integer-or-markup? (Closed)
Descriptionhttps://sourceforge.net/p/testlilyissues/issues/5273/
Note that \finger 3.14 used to succeed because of gracious formatting
code, even though the underlying 'digit property is supposed to hold
an integer.
\finger 22/7 used to segfault.
Giving non-integer numbers to \mark and \rightHandFinger used to cause
errors; now the message focuses on syntax rather than internals.
Patch Set 1 #
|
||||||||||||||||||||||||||||||||||||||||||||||
