eclipse-theia/theia

Notify agents about external file changes

Chiusa

#17.710 aperta il 25 giu 2026

 (1 commento) (0 reazioni) (0 assegnatari)TypeScript (2478 fork)batch import
enhancementhelp wantedtheia-ai

Metriche repository

Star
 (18.676 stelle)
Metriche merge PR
 (Merge medio 15g 4h) (75 PR mergiate in 30 g)

Descrizione

When and agent reads a file and the file is then later modified by another source (user, other agent), the agent will not be aware of this. Ideally, the session would capture which files an agent has read (and written) and notify the agent that it was changed.

Guida contributor