onDidChangeFile property

Event<List<FileChangeEvent>> onDidChangeFile

An event to signal that a resource has been created, changed, or deleted. This event should fire for resources that are being {@link FileSystemProvider.watchwatched} by clients of this provider.

Note: It is important that the metadata of the file that changed provides an updated mtime that advanced from the previous value in the {@link FileStatstat} and a correct size value. Otherwise there may be optimizations in place that will not show the change in an editor for example.

Implementation

_i3.Event<_i2.List<_i3.FileChangeEvent>> get onDidChangeFile =>
    _i5.getProperty(
      this,
      'onDidChangeFile',
    );