- \override Staff.SustainPedalLineSpanner #'outside-staff-priority = #1000
- \override Staff.SustainPedalLineSpanner #'staff-padding = #7
- \once \override TextScript #'padding = #2
+ \override Staff.SustainPedalLineSpanner.outside-staff-priority = #1000
+ \override Staff.SustainPedalLineSpanner.staff-padding = #7
+ \once \override TextScript.padding = #2