| 95 | } |
| 96 | |
| 97 | void ModificationRevision::clearModificationCache(const IndexedString& fileName) |
| 98 | { |
| 99 | ///@todo Make the cache management more clever (don't clear the whole) |
| 100 | ModificationRevisionSet::clearCache(); |
| 101 | |
| 102 | cacheData().op([&fileName](CacheData& data) { data.fileModificationCache.remove(fileName); }); |
| 103 | } |
| 104 | |
| 105 | ModificationRevision ModificationRevision::revisionForFile(const IndexedString& url) |
| 106 | { |