Properties
animatedScroll
animatedScroll: boolean
customScrollbar
customScrollbar: boolean
displayIndentGuides
displayIndentGuides: boolean
fadeFoldWidgets
fadeFoldWidgets: boolean
fixedWidthGutter
fixedWidthGutter: boolean
fontFamily
fontFamily: string
hScrollBarAlwaysVisible
hScrollBarAlwaysVisible: boolean
hasCssTransforms
hasCssTransforms: boolean
highlightGutterLine
highlightGutterLine: boolean
highlightIndentGuides
highlightIndentGuides: boolean
maxPixelHeight
maxPixelHeight: number
printMargin
printMargin: number | boolean
printMarginColumn
printMarginColumn: number
scrollPastEnd
scrollPastEnd: number
showFoldWidgets
showFoldWidgets: boolean
showFoldedAnnotations
showFoldedAnnotations: boolean
showGutter
showGutter: boolean
showInvisibles
showInvisibles: boolean
showLineNumbers
showLineNumbers: boolean
showPrintMargin
showPrintMargin: boolean
useSvgGutterIcons
useSvgGutterIcons: boolean
vScrollBarAlwaysVisible
vScrollBarAlwaysVisible: boolean