display.notationStaffPaddingTop

since 1.4.0

Description

The top padding applied to main notation staffs (standard, tabs, numbered, slash).

`display.notationStaffPaddingTopJavaScript`
`notationStaffPaddingTopJavaScript`
`display.notationStaffPaddingTopJSON`
`notationStaffPaddingTopJSON`
`data-display-notationstaffpaddingtopHTML`
`data-notationstaffpaddingtopHTML`
`Display.NotationStaffPaddingTop.net`
`display.notationStaffPaddingTopAndroid`

`doubleAll`

5