Properties
Protected
cursorLineObservable
cursorLineObservable: Observable<number, unknown>
Protected
cursorPositionObservable
cursorPositionObservable: Observable<Position, unknown>
Readonly
editorWidget
editorWidget: EditorWidget
Protected
Readonly
labelProvider
labelProvider: LabelProvider
Readonly
mergeSide
mergeSide: 2 = 2
Protected
Readonly
openerService
openerService: OpenerService
Protected
selectionObservable
selectionObservable: Observable<undefined | Range[], unknown>
Protected
Readonly
toDispose
toDispose: DisposableCollection = ...