Class NavigatorDeletedEditorDecorator

Implements

  • TreeDecorator

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