I think you might be misunderstanding the OP. The request is that if you tap 5, then arrow, then 5 in quick succession, the result should not be that the second note becomes dotted.
This is different from saying that once dotted mode has been engaged with a double tap, the arrow key should disengage it.
This issue has been reported before, and seems to be related to another issue which was fixed.