- \revert Voice.TextScript #'harp-pedal-details #'box-width
- \override Voice.TextScript #'harp-pedal-details #'circle-thickness = #3
- \override Voice.TextScript #'harp-pedal-details #'circle-x-padding = #0.6
- \override Voice.TextScript #'harp-pedal-details #'circle-y-padding = #-0.3
+ \revert Voice.TextScript.harp-pedal-details.box-width
+ \override Voice.TextScript.harp-pedal-details.circle-thickness = #3
+ \override Voice.TextScript.harp-pedal-details.circle-x-padding = #0.6
+ \override Voice.TextScript.harp-pedal-details.circle-y-padding = #-0.3