Descriptionnote-spacing: pad accidentals from neighbor as far as from parent; issue 3869
Patch Set 1 #Patch Set 2 : explicit extra-spacing-width instead of a default padding #Patch Set 3 : change only where needed #
MessagesTotal messages: 5
|