onDidChangeFileDecorations
An optional event to signal that decorations for one or many files have changed.
Note that this event should be used to propagate information about children.
An optional event to signal that decorations for one or many files have changed.
Note that this event should be used to propagate information about children.