Properties
Protected
_diffEditor
_diffEditor: IStandaloneDiffEditor
Protected
_diffNavigator
_diffNavigator: DiffNavigator
Protected
_languageAutoDetected
_languageAutoDetected: boolean = true
Protected
Readonly
autoSizing
autoSizing: boolean
Protected
Readonly
contextKeyService
contextKeyService: ContextKeyService
Protected
Readonly
diffNavigatorFactory
Protected
editor
editor: IStandaloneCodeEditor
Protected
Readonly
maxHeight
maxHeight: number
Protected
Readonly
minHeight
minHeight: number
Readonly
node
node: HTMLElement
Protected
Readonly
onCursorPositionChangedEmitter
onCursorPositionChangedEmitter: Emitter<Position> = ...
Readonly
onDidChangeReadOnly
onDidChangeReadOnly: Event<boolean | MarkdownString> = ...
Readonly
onDidResize
onDidResize: Event<null | Dimension> = ...
Protected
Readonly
onDocumentContentChangedEmitter
onDocumentContentChangedEmitter: Emitter<TextDocumentChangeEvent> = ...
Readonly
onEncodingChanged
onEncodingChanged: Event<string> = ...
Protected
Readonly
onFocusChangedEmitter
onFocusChangedEmitter: Emitter<boolean> = ...
Readonly
onLanguageChanged
onLanguageChanged: Event<string> = ...
Protected
Readonly
onLanguageChangedEmitter
onLanguageChangedEmitter: Emitter<string> = ...
Protected
Readonly
onMouseDownEmitter
onMouseDownEmitter: Emitter<EditorMouseEvent> = ...
Protected
Readonly
onResizeEmitter
onResizeEmitter: Emitter<null | Dimension> = ...
Protected
Readonly
onScrollChangedEmitter
onScrollChangedEmitter: Emitter<void> = ...
Protected
Readonly
onSelectionChangedEmitter
onSelectionChangedEmitter: Emitter<Selection> = ...
Optional
Readonly
parentEditor
Protected
Readonly
toDispose
toDispose: DisposableCollection = ...
true
if the find (and replace) widget is visible in the editor. Otherwise,false
.