From 8117308183c7cb26866bb2168bbea13631c9417f Mon Sep 17 00:00:00 2001 From: hannesrudolph Date: Sat, 14 Jun 2025 18:42:31 -0600 Subject: [PATCH] fix: cast message.values to string[] for diagnosticsFilter --- src/core/webview/webviewMessageHandler.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/core/webview/webviewMessageHandler.ts b/src/core/webview/webviewMessageHandler.ts index 148397baef..2a6eb6cddd 100644 --- a/src/core/webview/webviewMessageHandler.ts +++ b/src/core/webview/webviewMessageHandler.ts @@ -1004,7 +1004,7 @@ export const webviewMessageHandler = async ( await provider.postStateToWebview() break case "diagnosticsFilter": - await updateGlobalState("diagnosticsFilter", message.values ?? ["error", "warning"]) + await updateGlobalState("diagnosticsFilter", (message.values as string[]) ?? ["error", "warning"]) await provider.postStateToWebview() break case "setHistoryPreviewCollapsed": // Add the new case handler