Configuration options for editor padding
Spacing between bottom edge of editor and last line.
Spacing between top edge of editor and first line.
Generated using TypeDoc
Configuration options for editor padding