fix: cast message.values to string[] for diagnosticsFilter

This commit is contained in:
hannesrudolph 2025-06-14 18:42:31 -06:00
parent 6ab504a36f
commit 8117308183

View file

@ -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