Theia API Documentation v1.65.0
    Preparing search index...
    • Optimizes search results for token efficiency while preserving all information.

      • Groups matches by file to reduce repetition
      • Trims leading/trailing whitespace from line text
      • Uses relative file paths
      • Preserves all line numbers and content

      Parameters

      Returns { file: string; matches: { line: number; text: string }[] }[]