eclipse-theia/theia

Notify agents about external file changes

Aberta

#17.710 aberto em 25 de jun. de 2026

 (0 comentário) (0 reação) (0 responsável)TypeScript (2.478 forks)batch import
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.

Guia do colaborador