display.effectStaffPaddingTop

since 1.4.0

display.effectStaffPaddingTopJavaScripteffectStaffPaddingTopJavaScriptdisplay.effectStaffPaddingTopJSONeffectStaffPaddingTopJSONDisplay.EffectStaffPaddingTop.netdisplay.effectStaffPaddingTopAndroid

Deprecated

Effect staves do not exist anymore, effects are now part of the main notation staves. This value has no effect anymore. Use effectBandPaddingBottom to control the padding after effect bands.

The top padding applied to effect annotation staffs.

JavaScript

effectStaffPaddingTop: number = 0;

C#

double EffectStaffPaddingTop { get; set; } = 0

Kotlin

var effectStaffPaddingTop: Double = 0