Stream: General

Topic: Error loading webview

view this post on Zulip Wolfgang Jeltsch (Apr 10 2023 at 13:35):

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.

view this post on Zulip Zixuan Fan (Apr 10 2023 at 13:37):

This happened to me yesterday as well. I restarted the Isabelle/VSCode and it was fixed.

view this post on Zulip Wolfgang Jeltsch (Apr 10 2023 at 13:41):

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: May 01 2024 at 20:18 UTC