fix #20233: Pedal marks not deletable