Interface IEditorScrollbarOptions

Configuration options for editor scrollbars

interface IEditorScrollbarOptions {
    alwaysConsumeMouseWheel?: boolean;
    arrowSize?: number;
    handleMouseWheel?: boolean;
    horizontal?: "auto" | "visible" | "hidden";
    horizontalHasArrows?: boolean;
    horizontalScrollbarSize?: number;
    horizontalSliderSize?: number;
    ignoreHorizontalScrollbarInContentHeight?: boolean;
    scrollByPage?: boolean;
    useShadows?: boolean;
    vertical?: "auto" | "visible" | "hidden";
    verticalHasArrows?: boolean;
    verticalScrollbarSize?: number;
    verticalSliderSize?: number;
}

Properties

alwaysConsumeMouseWheel?: boolean

Always consume mouse wheel events (always call preventDefault() and stopPropagation() on the browser events). Defaults to true. NOTE: This option cannot be updated using updateOptions()

arrowSize?: number

The size of arrows (if displayed). Defaults to 11. NOTE: This option cannot be updated using updateOptions()

handleMouseWheel?: boolean

Listen to mouse wheel events and react to them by scrolling. Defaults to true.

horizontal?: "auto" | "visible" | "hidden"

Render horizontal scrollbar. Defaults to 'auto'.

horizontalHasArrows?: boolean

Render arrows at the left and right of the horizontal scrollbar. Defaults to false. NOTE: This option cannot be updated using updateOptions()

horizontalScrollbarSize?: number

Height in pixels for the horizontal scrollbar. Defaults to 10 (px).

horizontalSliderSize?: number

Height in pixels for the horizontal slider. Defaults to horizontalScrollbarSize. NOTE: This option cannot be updated using updateOptions()

ignoreHorizontalScrollbarInContentHeight?: boolean

When set, the horizontal scrollbar will not increase content height. Defaults to false.

scrollByPage?: boolean

Scroll gutter clicks move by page vs jump to position. Defaults to false.

useShadows?: boolean

Cast horizontal and vertical shadows when the content is scrolled. Defaults to true. NOTE: This option cannot be updated using updateOptions()

vertical?: "auto" | "visible" | "hidden"

Render vertical scrollbar. Defaults to 'auto'.

verticalHasArrows?: boolean

Render arrows at the top and bottom of the vertical scrollbar. Defaults to false. NOTE: This option cannot be updated using updateOptions()

verticalScrollbarSize?: number

Width in pixels for the vertical scrollbar. Defaults to 10 (px).

verticalSliderSize?: number

Width in pixels for the vertical slider. Defaults to verticalScrollbarSize. NOTE: This option cannot be updated using updateOptions()