onDidDeleteFiles property

Event<FileDeleteEvent> get onDidDeleteFiles

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 {@linkcode workspace.applyEdit}-api, but this event is not fired when files change on disk, e.g triggered by another application, or when using the {@linkcode FileSystemworkspace.fs}-api.

Note 2: When deleting a folder with children only one event is fired.

Implementation

_i3.Event<_i3.FileDeleteEvent> get onDidDeleteFiles => _i4.getProperty(
      this,
      'onDidDeleteFiles',
    );