about duplicating grace note

Dear users and developers,

I have realised that duplicating grace note by pressing “r”, result in adding the same pitch in the same rhythmic position as follows:

step 1. selecting a grace note:
Screenshot 2020-01-26 02.30.00.png
step 2. duplicating it:
Screenshot 2020-01-26 02.30.11.png
Is there a way that duplicating a grace note as follows?
Screenshot 2020-01-26 02.35.17.png

No, you have to input another grace note for the time being. But this is something we should address in future. I’ve made a note of it.

Thank you very much for your consideration!

Thanks Daniel, that would be a most welcome behavior!