On 2017/05/21 17:12:26, thomasmorley651 wrote:
I'd like to mention another point: What to do with pitched rests and rests with user-set staff-position,
merge them
automatically to the zero-position?
If a user has explicitly set the position of a rest this should be honoured by default, I think ...
I'd say using suspendRestMerging-property is sufficient to cover this
case, but
this is only me. Other opinions?
... unless some property (mergePitchedRests?) is set true. https://codereview.appspot.com/321930043/ _______________________________________________ lilypond-devel mailing list lilypond-devel@gnu.org https://lists.gnu.org/mailman/listinfo/lilypond-devel
