Lean Infoview Blank

Stream: general

[Nick_adfor]

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

[Nick_adfor]

My network face some problem these days. Is it because Lean Infoview needs internet?

[Malvin Gattinger]

The InfoView does not need an internet connection, I have often used it while being offline. Are both VS code and the extension up to date? What does lake build in a terminal in your project folder say?

[Ruben Van de Velde]

Try closing vs code and making sure all processes are gone, and then start again

[Nick_adfor]

It's confused that now the problem disappears.

[Marc Huisinga]

This is most likely vscode#125993

[Nick_adfor]

Oh, it's a VS Code problem, not Lean problem

[Nick_adfor]

Anyway, restart solve anything.