Options
All
  • Public
  • Public/Protected
  • All
Menu

Class NavigatorDeletedEditorDecorator

Hierarchy

  • NavigatorDeletedEditorDecorator

Implements

  • TreeDecorator

Index

Constructors

Properties

deletedURIs: Set<string> = ...
fileSystemContribution: FileSystemFrontendContribution
id: "theia-deleted-editor-decorator" = 'theia-deleted-editor-decorator'
onDidChangeDecorations: Event<any> = ...
onDidChangeDecorationsEmitter: Emitter<any> = ...
shell: ApplicationShell

Methods

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