Properties
animatedScroll
animatedScroll: boolean
displayIndentGuides
displayIndentGuides: boolean
fadeFoldWidgets
fadeFoldWidgets: boolean
fixedWidthGutter
fixedWidthGutter: boolean
fontFamily
fontFamily: string
fontSize
fontSize: number
hScrollBarAlwaysVisible
hScrollBarAlwaysVisible: boolean
hasCssTransforms
hasCssTransforms: boolean
highlightGutterLine
highlightGutterLine: boolean
maxLines
maxLines: number
maxPixelHeight
maxPixelHeight: number
minLines
minLines: number
printMargin
printMargin: number | boolean
printMarginColumn
printMarginColumn: number
scrollPastEnd
scrollPastEnd: boolean
showFoldWidgets
showFoldWidgets: boolean
showGutter
showGutter: boolean
showInvisibles
showInvisibles: boolean
showLineNumbers
showLineNumbers: boolean
showPrintMargin
showPrintMargin: boolean
useTextareaForIME
useTextareaForIME: boolean
vScrollBarAlwaysVisible
vScrollBarAlwaysVisible: boolean