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()
The size of arrows (if displayed).
Defaults to 11.
NOTE: This option cannot be updated using updateOptions()
Listen to mouse wheel events and react to them by scrolling. Defaults to true.
Render horizontal scrollbar. Defaults to 'auto'.
Render arrows at the left and right of the horizontal scrollbar.
Defaults to false.
NOTE: This option cannot be updated using updateOptions()
Height in pixels for the horizontal scrollbar. Defaults to 10 (px).
Height in pixels for the horizontal slider.
Defaults to horizontalScrollbarSize
.
NOTE: This option cannot be updated using updateOptions()
Scroll gutter clicks move by page vs jump to position. Defaults to false.
Cast horizontal and vertical shadows when the content is scrolled.
Defaults to true.
NOTE: This option cannot be updated using updateOptions()
Render vertical scrollbar. Defaults to 'auto'.
Render arrows at the top and bottom of the vertical scrollbar.
Defaults to false.
NOTE: This option cannot be updated using updateOptions()
Width in pixels for the vertical scrollbar. Defaults to 10 (px).
Width in pixels for the vertical slider.
Defaults to verticalScrollbarSize
.
NOTE: This option cannot be updated using updateOptions()
Configuration options for editor scrollbars