github/SharpIDE
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

only update in-memory file text from external change if open

Browse Source
This commit is contained in:
Matt Parker
2025-11-19 23:52:56 +10:00
parent fc4eed8d0a
commit 59454e6b31
2 changed files with 9 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
src/SharpIDE.Application/Features/FilePersistence/IdeOpenTabsFileManager.cs
View File

@@ -34,6 +34,14 @@ public class IdeOpenTabsFileManager(ILogger<IdeOpenTabsFileManager> logger)
_openFiles[file] = newLazyTask; _openFiles[file] = newLazyTask;
} }
public async Task UpdateFileTextInMemoryIfOpen(SharpIdeFile file, string newText)
{
if (!_openFiles.ContainsKey(file)) return;
var newLazyTask = new Lazy<Task<string>>(() => Task.FromResult(newText));
_openFiles[file] = newLazyTask;
}
public async Task SaveFileAsync(SharpIdeFile file) public async Task SaveFileAsync(SharpIdeFile file)
{ {
if (!_openFiles.ContainsKey(file)) throw new InvalidOperationException("File is not open in memory."); if (!_openFiles.ContainsKey(file)) throw new InvalidOperationException("File is not open in memory.");

2
src/SharpIDE.Application/Features/FileWatching/FileChangedService.cs
View File

@@ -68,7 +68,7 @@ public class FileChangedService(RoslynAnalysis roslynAnalysis, IdeOpenTabsFileMa
// Disk is already up to date // Disk is already up to date
// Update any open tabs // Update any open tabs
// update in memory // update in memory
await _openTabsFileManager.UpdateFileTextInMemory(file, newContents); await _openTabsFileManager.UpdateFileTextInMemoryIfOpen(file, newContents);
file.FileContentsChangedExternally.InvokeParallelFireAndForget(linePosition); file.FileContentsChangedExternally.InvokeParallelFireAndForget(linePosition);
} }
else if (changeType is FileChangeType.CodeActionChange) else if (changeType is FileChangeType.CodeActionChange)