From 75045ddc8b28322d02f4c613de0242f78424b93e Mon Sep 17 00:00:00 2001
From: Yuxuan Shui <yshuiv7@gmail.com>
Date: Fri, 1 Dec 2023 16:01:02 +0000
Subject: [PATCH] Fix tsc complaint

---
 src/DocumentWatcher.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/DocumentWatcher.ts b/src/DocumentWatcher.ts
index 585ce56..fb0bbc6 100644
--- a/src/DocumentWatcher.ts
+++ b/src/DocumentWatcher.ts
@@ -71,7 +71,7 @@ export default class DocumentWatcher {
 
 		subscriptions.push(
 			workspace.onWillSaveTextDocument(async e => {
-				let selections: Selection[] = []
+				let selections: readonly Selection[] = []
 				const activeEditor = window.activeTextEditor
 				const activeDoc = activeEditor?.document
 				if (activeDoc && activeDoc === e.document && activeEditor) {