eclipse-theia/theia

Notify agents about external file changes

Offen

#17.710 geöffnet am 25.06.2026

 (1 Kommentar) (0 Reaktionen) (0 zugewiesene Personen)TypeScript (2.478 Forks)batch import
enhancementhelp wantedtheia-ai

Repository-Metriken

Stars
 (18.676 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 15T 4h) (75 gemergte PRs in 30 T)

Beschreibung

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.

Contributor Guide