Constructors

Properties

editorPreferences: EditorPreferences
fontInfo?: BareFontInfo
onDidChangeOutputOptions: Event<NotebookOutputOptions> = ...
outputOptionsChangedEmitter: Emitter<NotebookOutputOptions> = ...
preferenceService: PreferenceService

Accessors

Methods