Options
All
  • Public
  • Public/Protected
  • All
Menu

Hierarchy

  • EditorManager
    • EditorPreviewManager

Index

Constructors

Properties

id: string = EditorPreviewWidgetFactory.ID
layoutIsSet: boolean = false

Until the layout has been restored, widget state is not reliable, so we ignore creation events.

stateService: FrontendApplicationStateService

Methods

  • convertEditorOnDoubleClick(event: Event): void
  • getOrCreateWidget(uri: URI, options?: EditorOpenerOptions): Promise<EditorWidget>
  • getWidget(uri: URI, options?: EditorOpenerOptions): Promise<undefined | EditorWidget>
  • init(): void
  • tryGetPendingWidget(uri: URI, options?: EditorOpenerOptions): undefined | MaybePromise<EditorWidget>