leanprover / leanprover/vscode-lean4
Error loading webview: Error: Could not register service workers: InvalidStateError
@marianaalanis93 is already working on this.
Since Aug 18, 2022.
- Dominant language
- TypeScript
- Stars
- 313
- Forks
- 104
- Avg merge
- 1h 56m
- Merged PRs (30d)
- 1
Description
- clone https://github.com/leanprover/lean4-samples
- cd HelloWorld
- code .
Wait for infoview to populate with the correct messages. Close VS code and run code . again quickly. THe second invocation of VS code often fails with this error:
Error loading webview: Error: Could not register service workers: InvalidStateError: Failed to register a ServiceWorker: The document is in an invalid state..
This happens on Windows, not sure if it happens on other platforms. But it seems to be reported quite a bit in VS code issues, and I see some people also reporting similar issues on Linux, see https://github.com/microsoft/vscode/issues/125993#issuecomment-912439561 but vscode is not claiming ownership of this type of issue. So, I wonder if our extension can do anything better to make the webview more robust ?
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.