eclipse-theia/theia
Ver no GitHubrecently opened files display deleted files
Open
#2.872 aberto em 13 de set. de 2018
bugeditorhelp wanted
Métricas do repositório
- Stars
- (18.676 stars)
- Métricas de merge de PR
- (Mesclagem média 15d 4h) (75 fundiu PRs em 30d)
Description
Since it is based on editor navigation history, I assume that the history contains records for deleted files as well. We probably should remove them.