editor

Interface IEditorPaddingOptions

Expand description

Configuration options for editor padding

interface IEditorPaddingOptions {
    bottom?: number;
    top?: number;
}

Properties§

§bottom?: number

Spacing between bottom edge of editor and last line.

§top?: number

Spacing between top edge of editor and first line.