Properties
Protected _isPreview
_isPreview: boolean = false
Readonly editor
editor: TextEditor
Protected lastTabbar
lastTabbar: undefined | TabBar<Widget>
Readonly onDidChangePreviewState
onDidChangePreviewState: Event<void> = ...
Protected Readonly onDidChangePreviewStateEmitter
onDidChangePreviewStateEmitter: Emitter<void> = ...
Readonly onDidChangeVisibility
onDidChangeVisibility: Event<boolean>
Protected Readonly onDidChangeVisibilityEmitter
onDidChangeVisibilityEmitter: Emitter<boolean>
Readonly onDidDispose
onDidDispose: Event<void>
Protected Readonly onDidDisposeEmitter
onDidDisposeEmitter: Emitter<void>
Readonly onScrollUp
onScrollUp: Event<void>
Protected Readonly onScrollUpEmitter
onScrollUpEmitter: Emitter<void>
Readonly onScrollYReachEnd
onScrollYReachEnd: Event<void>
Protected Readonly onScrollYReachEndEmitter
onScrollYReachEndEmitter: Emitter<void>
Protected Optional scrollBar
scrollBar: PerfectScrollbar
Protected Optional scrollOptions
scrollOptions: Options
Protected Readonly selectionService
selectionService: SelectionService
Protected Readonly toDispose
toDispose: DisposableCollection
Protected Readonly toDisposeOnDetach
toDisposeOnDetach: DisposableCollection
Protected Readonly toDisposeOnLocationChange
toDisposeOnLocationChange: DisposableCollection = ...