early return when receiving textDocument/didChange with no content changes

Techatrix · Techatrix · commit bd95c2bf73b8 · 2025-08-03T13:55:53.000+02:00
diff --git a/src/Server.zig b/src/Server.zig
@@ -1147,6 +1147,7 @@ fn openDocumentHandler(server: *Server, _: std.mem.Allocator, notification: type
 }
 
 fn changeDocumentHandler(server: *Server, _: std.mem.Allocator, notification: types.DidChangeTextDocumentParams) Error!void {
+    if (notification.contentChanges.len == 0) return;
     const handle = server.document_store.getHandle(notification.textDocument.uri) orelse return;
 
     const new_text = try diff.applyContentChanges(server.allocator, handle.tree.source, notification.contentChanges, server.offset_encoding);

Original file line number	Diff line number	Diff line change
`@@ -1147,6 +1147,7 @@ fn openDocumentHandler(server: *Server, _: std.mem.Allocator, notification: type`
`1147`	`1147`	`}`
`1148`	`1148`
`1149`	`1149`	`fn changeDocumentHandler(server: *Server, _: std.mem.Allocator, notification: types.DidChangeTextDocumentParams) Error!void {`
	`1150`	`+ if (notification.contentChanges.len == 0) return;`
`1150`	`1151`	`const handle = server.document_store.getHandle(notification.textDocument.uri) orelse return;`
`1151`	`1152`
`1152`	`1153`	`const new_text = try diff.applyContentChanges(server.allocator, handle.tree.source, notification.contentChanges, server.offset_encoding);`