Properties
Protected Readonly editorPreferences
editorPreferences: EditorPreferences
Protected firstUpdate
firstUpdate: undefined | (() => void) = undefined
Protected Readonly internalRevealForSourceLine
internalRevealForSourceLine: ((sourceLine: number) => void) = ...
Type declaration
- (sourceLine: number): void
Protected Readonly onDidDoubleClickEmitter
onDidDoubleClickEmitter: Emitter<Location> = ...
Protected Readonly onDidScrollEmitter
onDidScrollEmitter: Emitter<number> = ...
Protected Readonly options
Protected preventScrollNotification
preventScrollNotification: boolean = false
Protected Readonly previewHandlerProvider
Protected previousContent
previousContent: undefined | string = undefined
Protected Readonly resource
resource: Resource
Protected scrollBeyondLastLine
scrollBeyondLastLine: boolean
Protected Readonly themeService
themeService: ThemeService
Protected Readonly workspace
workspace: MonacoWorkspace