Properties
Protected
Readonly
editorPreferences
editorPreferences: EditorPreferences
Protected
firstUpdate
firstUpdate: undefined | (() => void) = undefined
Protected
Readonly
internalRevealForSourceLine
internalRevealForSourceLine: ((sourceLine) => void) = ...
Type declaration
- (sourceLine): void
Returns 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