Properties
$fontMetrics
$fontMetrics: any
$highlightIndentGuideMarker
$highlightIndentGuideMarker: {
dir?: number;
end?: number;
indentLevel?: number;
start?: number;
}
Type declaration
Optional
dir?: number
Optional
end?: number
Optional
indentLevel?: number
Optional
start?: number
$highlightIndentGuides
$highlightIndentGuides: any
$indentGuideRe
$indentGuideRe: RegExp
$pollSizeChangesTimer
$pollSizeChangesTimer: any
$tabStrings
$tabStrings: any
EOL_CHAR_CRLF
EOL_CHAR_CRLF: string
EOL_CHAR_LF
EOL_CHAR_LF: string
MAX_LINE_LENGTH
MAX_LINE_LENGTH: number
SPACE_CHAR
SPACE_CHAR: string
config
config: LayerConfig
displayIndentGuides
displayIndentGuides: any
element
element: HTMLDivElement
onChangeTabSize
onChangeTabSize: (() => void)
session
session: EditSession
showInvisibles
showInvisibles: any
showSpaces
showSpaces: boolean
showTabs
showTabs: boolean
@type{any}