From e4ecae257c4a079bf3bcf41bc7271a6094a84340 Mon Sep 17 00:00:00 2001
From: LQR471814 <42160088+LQR471814@users.noreply.github.com>
Date: Sun, 9 Aug 2026 21:40:00 -0700
Subject: [PATCH] fix: workspace/didDeleteFiles handling for multiple deletions
 within the same folder

---
 Marksman/Server.fs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Marksman/Server.fs b/Marksman/Server.fs
index 0ff978e..95c7e65 100644
--- a/Marksman/Server.fs
+++ b/Marksman/Server.fs
@@ -732,7 +732,7 @@ type MarksmanServer(client: MarksmanClient) =
                     >> Log.addContext "uri" uri
                 )
 
-                match State.tryFindFolderAndDoc uri state with
+                match State.tryFindFolderAndDoc uri newState with
                 | None -> ()
                 | Some(folder, doc) ->
                     match Folder.withoutDoc (Doc.id doc) folder with