Options
All
  • Public
  • Public/Protected
  • All
Menu

Class EditorPreviewWidget

Hierarchy

  • EditorWidget
    • EditorPreviewWidget

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

  • new EditorPreviewWidget(editor: TextEditor, selectionService: SelectionService): EditorPreviewWidget

Properties

Protected _isPreview

_isPreview: boolean = false

Readonly onDidChangePreviewState

onDidChangePreviewState: Event<void> = ...

Protected Readonly onDidChangePreviewStateEmitter

onDidChangePreviewStateEmitter: Emitter<void> = ...

Accessors

isPreview

  • get isPreview(): boolean

Methods

convertToNonPreview

  • convertToNonPreview(): void

Protected handleTabBarChange

  • handleTabBarChange(oldTabBar?: TabBar<Widget>, newTabBar?: TabBar<Widget>): void

initializePreview

  • initializePreview(): void

restoreState

  • restoreState(oldState: { editorState: object; isPreview: boolean }): void

storeState

  • storeState(): undefined | { editorState: object; isPreview: boolean }