Skip to content

Commit

Permalink
Merge branch 'master' into includesvg
Browse files Browse the repository at this point in the history
# Conflicts:
#	CHANGELOG.md
  • Loading branch information
PHPirates committed Nov 28, 2024
2 parents 38f7a58 + 5c17d7b commit 70559c2
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
1 change: 1 addition & 0 deletions CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,6 +25,7 @@

### 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
* Fix relative path conversion in graphics insertion wizard by resolving relative to the root file
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -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)
Expand Down

0 comments on commit 70559c2

Please sign in to comment.