Options
All
  • Public
  • Public/Protected
  • All
Menu

Class EditorPreviewTreeDecorator

Hierarchy

  • EditorPreviewTreeDecorator

Implements

  • TreeDecorator
  • FrontendApplicationContribution

Index

Constructors

Properties

Accessors

Methods

Constructors

constructor

Properties

Protected Readonly decorationsChangedEmitter

decorationsChangedEmitter: Emitter<any> = ...

Protected decorationsMap

decorationsMap: Map<string, Data> = ...

Protected Readonly editorPreviewManager

editorPreviewManager: EditorPreviewManager

Readonly id

id: "theia-open-editors-file-decorator" = 'theia-open-editors-file-decorator'

Readonly onDidChangeDecorations

onDidChangeDecorations: Event<any> = ...

Protected Readonly shell

shell: ApplicationShell

Protected Readonly toDisposeOnDirtyChanged

toDisposeOnDirtyChanged: Map<string, Disposable> = ...

Protected Readonly toDisposeOnPreviewPinned

toDisposeOnPreviewPinned: Map<string, Disposable> = ...

Accessors

Protected editorWidgets

  • get editorWidgets(): NavigatableWidget[]

Methods

Protected collectDecorators

  • collectDecorators(tree: Tree): Map<string, Data>

decorations

  • decorations(tree: Tree): Map<string, Data>

Protected fireDidChangeDecorations

  • fireDidChangeDecorations(event: (tree: Tree) => Map<string, Data>): void

onDidInitializeLayout

  • onDidInitializeLayout(app: FrontendApplication): void

Protected registerEditorListeners

  • registerEditorListeners(widget: Widget): void

Protected unregisterEditorListeners

  • unregisterEditorListeners(widget: Widget): void