changing dotted note length, the dots are not deleted.

Create a triplet. Middle note is a double dotted sixteenth, followed by a 64th. click on the double dot sixteenth, type 4 to switch to eighth note. expected: eighth note Result: double dotted eighth note.
pretty sure it doesn't actually affect beatcount, and the dots are deletable.

GIT commit: d39279b