Theia API Documentation v1.65.0
    Preparing search index...

    Propagates edit tool results to change sets in the specified request's session.

    Implements

    Index

    Constructors

    Properties

    backupService: FileEditBackupService
    fileChangeFactory: ChangeSetFileElementFactory
    fileService: FileService
    workspaceService: WorkspaceService

    Methods