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

    Tracks the content an agent has seen per chat session, so that changes by anyone else can be reported back to it.

    Implements

    Index

    Constructors

    Properties

    fileService: FileService
    maxComparedFileSize: number = ...

    A file grown past this is not read to compare, so a flagged one stays reported as changed. The read tools hand an agent far less.

    maxFilesPerSession: number = 200
    maxSessions: number = 32

    Arbitrary bounds. Sessions are never disposed here, as that would mean depending on the ChatService that owns the agents using this service, so the least recently used are evicted; that only loses a notice.

    monacoWorkspace: MonacoWorkspace
    sessions: Map<string, Map<string, TrackedFile>> = ...

    Session id -> tracked file uri -> state. Both levels are insertion ordered and bounded.

    workspaceService: WorkspaceService

    Accessors

    Methods

    • Drops entries from the front, which insertion order makes the least recently used ones.

      Parameters

      • entries: Map<string, unknown>
      • limit: number

      Returns void

    • Compares a flagged file against what the agent saw, clearing the flag when the contents match again.

      Parameters

      • files: Map<string, TrackedFile>
      • key: string
      • tracked: TrackedFile

      Returns Promise<"unchanged" | "changed" | "gone">