Theia API Documentation v1.65.0
    Preparing search index...
    interface SearchInWorkspaceClient {
        onDone(searchId: number, error?: string): void;
        onResult(searchId: number, result: SearchInWorkspaceResult): void;
    }

    Implemented by

    Index

    Methods