From 40406ff05f29598aa54310c4f5c30571d12c2049 Mon Sep 17 00:00:00 2001 From: James Yu Date: Thu, 21 Nov 2024 16:07:36 +0800 Subject: [PATCH] Binary file watcher polling should not await --- src/core/watcher.ts | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/core/watcher.ts b/src/core/watcher.ts index cf6adf1cd..6a2a77e09 100644 --- a/src/core/watcher.ts +++ b/src/core/watcher.ts @@ -144,8 +144,8 @@ class Watcher { this.polling[uriString] = { size, time: firstChangeTime } - const pollingInterval = setInterval(async () => { - await this.handlePolling(uri, size, firstChangeTime, pollingInterval) + const pollingInterval = setInterval(() => { + void this.handlePolling(uri, size, firstChangeTime, pollingInterval) }, vscode.workspace.getConfiguration('latex-workshop').get('latex.watch.pdf.delay') as number) }