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

Protected lastTabbar

lastTabbar: undefined | TabBar<Widget>

Readonly onDidChangePreviewState

onDidChangePreviewState: Event<void> = ...

Protected Readonly onDidChangePreviewStateEmitter

onDidChangePreviewStateEmitter: Emitter<void> = ...

Protected Readonly toDisposeOnLocationChange

toDisposeOnLocationChange: DisposableCollection = ...

Accessors

isPreview

  • get isPreview(): boolean

Methods

Protected checkForTabbarChange

  • checkForTabbarChange(): void

convertToNonPreview

  • convertToNonPreview(): void

initializePreview

  • initializePreview(): void

Protected onAfterAttach

  • onAfterAttach(msg: Message): void

restoreState

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

storeState

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