Optional
alwaysAlways consume mouse wheel events (always call preventDefault() and stopPropagation() on the browser events).
Defaults to true.
NOTE: This option cannot be updated using updateOptions()
Optional
arrowThe size of arrows (if displayed).
Defaults to 11.
NOTE: This option cannot be updated using updateOptions()
Optional
handleListen to mouse wheel events and react to them by scrolling. Defaults to true.
Optional
horizontalRender horizontal scrollbar. Defaults to 'auto'.
Optional
horizontalRender arrows at the left and right of the horizontal scrollbar.
Defaults to false.
NOTE: This option cannot be updated using updateOptions()
Optional
horizontalHeight in pixels for the horizontal scrollbar. Defaults to 10 (px).
Optional
horizontalHeight in pixels for the horizontal slider.
Defaults to horizontalScrollbarSize
.
NOTE: This option cannot be updated using updateOptions()
Optional
ignoreWhen set, the horizontal scrollbar will not increase content height. Defaults to false.
Optional
scrollScroll gutter clicks move by page vs jump to position. Defaults to false.
Optional
useCast horizontal and vertical shadows when the content is scrolled.
Defaults to true.
NOTE: This option cannot be updated using updateOptions()
Optional
verticalRender vertical scrollbar. Defaults to 'auto'.
Optional
verticalRender arrows at the top and bottom of the vertical scrollbar.
Defaults to false.
NOTE: This option cannot be updated using updateOptions()
Optional
verticalWidth in pixels for the vertical scrollbar. Defaults to 10 (px).
Optional
verticalWidth in pixels for the vertical slider.
Defaults to verticalScrollbarSize
.
NOTE: This option cannot be updated using updateOptions()
Configuration options for editor scrollbars