Theia API Documentation v1.65.0
    Preparing search index...
    onDidRenameFiles: Event<FileRenameEvent>

    An event that is emitted when files have been renamed.

    Note 1: This event is triggered by user gestures, like renaming a file from the explorer, and 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 renaming a folder with children only one event is fired.