Error loading webview: Error: Could not register service wor

Stream: lean4

[Daniel Weber]

I added an abbreviation in settings.json, and after restarting vscode the abbreviation works, but now the infoview doesn't load, and it gives the error

Error loading webview: Error: Could not register service worker: InvalidStateError: Failed to register a ServiceWorker: The document is in an invalid state..

I tried removing the removing the abbreviation and restarting vscode multiple times, but it didn't help.
The highlighting, hover text, etc. still work.
Any idea what's going on? How can I debug this? My vscode version is 1.85.1, and the extension version is 0.0.178.

[Daniel Weber]

Killing all vscode processes solved this

[Ruben Van de Velde]

Yeah, that's what I was going to suggest