Out of the blue, I’m getting the following error message after a restart of Isabelle/VSCode:
Error loading webview: Error: Could not register service workers: InvalidStateError: Failed to register a ServiceWorker: The document is in an invalid state..
Any ideas what causes that and how I can fix it? The big issue is that I’m not able to enter any text anymore.
This happened to me yesterday as well. I restarted the Isabelle/VSCode and it was fixed.
Oops, seems like the solution could be found via web search: https://stackoverflow.com/questions/67698176/error-loading-webview-error-could-not-register-service-workers-typeerror-fai
Killing the old Isabelle/VSCode processes fixes this apparently.
Last updated: Dec 07 2023 at 08:19 UTC