Lean infoview not working

Stream: general

[Hellen Wong]

Hi, my Lean infoview goes blank now, but I can see the result displayed if I hovered my mouse over the code. Screen-Shot-2022-11-03-at-2.29.16-PM.png

[Mario Carneiro]

try reloading the window - ctrl-shift-p > "Developer: Reload Window"

[Hellen Wong]

It's still not working. And it has an error at the bottom right which says: "Error loading webview: Error: Could not register service workers: InvalidStateError: Failed to register a ServiceWorker: The document is in an invalid state."

[Gabriel Ebner]

That's a vscode bug. I think you need to close all vscode windows and then restart it.

[Gabriel Ebner]

https://github.com/microsoft/vscode/issues/125993

[Gabriel Ebner]

Every couple of months there is a Zulip thread on this.

[Hellen Wong]

Hi, I tried to restart VScode, and reload the lean extension multiple times, but it's still not working.