An event that is emitted when files have been deleted.
Note 1: This event is triggered by user gestures, like deleting a file from the
explorer, or from the workspace.applyEdit-api, but this event is not fired when
files change on disk, e.g triggered by another application, or when using the
workspace.fs-api.
Note 2: When deleting a folder with children only one event is fired.
An event that is emitted when files have been deleted.
Note 1: This event is triggered by user gestures, like deleting a file from the explorer, or from the
workspace.applyEdit-api, but this event is not fired when files change on disk, e.g triggered by another application, or when using theworkspace.fs-api.Note 2: When deleting a folder with children only one event is fired.