Merge pull request #3774 from Hannah-Sten/cache-exception

Check if file is still valid after retrieving from cache
Hannah-Sten · Nov 27, 2024 · 5c17d7b · 5c17d7b
2 parents f62840f + e5f0486
commit 5c17d7b
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,6 +5,7 @@
 ### Added
 
 ### Fixed
+* Fix exception #3771 when a file referenced from cache is deleted
 * Fix basic case of false positive of duplicate label inspection when user defined \if commands are used
 * Fix a parse error when using \else with a user defined \if-command
 

diff --git a/src/nl/hannahsten/texifyidea/util/files/ReferencedFileSetCache.kt b/src/nl/hannahsten/texifyidea/util/files/ReferencedFileSetCache.kt
@@ -122,7 +122,8 @@ class ReferencedFileSetCache {
                     }
                 }
             }
-            cache[file.virtualFile]?.mapNotNull { it.element }?.toSet() ?: setOf(file)
+            // Make sure to check if file is still valid after retrieving from cache (it may have been deleted)
+            cache[file.virtualFile]?.mapNotNull { it.element }?.filter { it.isValid }?.toSet() ?: setOf(file)
         }
         else {
             setOf(file)