MeasuringPolyphony / mp_editor

https://editor.measuringpolyphony.org
4 stars 2 forks source link

Remove 'dots' Attribute #46

Closed martha-thomae closed 4 years ago

martha-thomae commented 4 years ago

Consider removing the @dots attribute on the <note> elements. The dots (and their behaviour) are encoded already in the elements <dot form="aug"> and <dot form="div"> (representing augmentation dots and division dots, respectively).

Using @dots to encode an augmentation dot in a <note> is proper of common music notation. In mensural notation, dots are usually encoded using the <dot> element instead.