eclipse-theia/theia
Notify agents about external file changes
Aberta
#17.710 aberto em 25 de jun. de 2026
enhancementhelp wantedtheia-ai
Métricas do repositório
- Stars
- (18.676 estrelas)
- Métricas de merge de PR
- (Mesclagem média 15d 4h) (75 fundiu PRs em 30d)
Description
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.