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

    Service to search text in the workspace files.

    Hierarchy (View Summary)

    Implements

    Index

    Constructors

    Properties

    lastKnownSearchId: number = -1
    logger: ILogger
    pendingOnDones: Map<number, undefined | string> = ...

    Due to the asynchronicity of the node backend, it's possible that we start a search, receive an event for that search, and then receive the search id for that search.We therefore need to keep those events until we get the search id and return it to the caller. Otherwise the caller would discard the event because it doesn't know the search id yet.

    pendingSearches: Map<number, SearchInWorkspaceClient> = ...

    All the searches that we have started, that are not done yet (onDone with that searchId has not been called).

    workspaceService: WorkspaceService

    Methods