info view doesn't show in vs code

Stream: new members

[Sarah Linh]

Hi, I'm new to lean and tried to use it in VS code and get the following error: Error loading webview: Error: Could not register service worker: InvalidStateError: Failed to register a ServiceWorker: The document is in an invalid state. Does someone know how to resolve this ?

[Aaron Liu]

did you try turning it off and on again

[Sarah Linh]

yes multiple times also restarted the file etc.

[Marc Huisinga]

If restarting VS Code (i.e. closing all VS Code windows and re-opening it) doesn't work - is there an error in the developer console? (Ctrl+Shift+P > 'Developer: Toggle Developer Tools')

[Ruben Van de Velde]

I do think that sounds like a stuck code process. Can you try killing all the processes?

[Kevin Buzzard]

eg rebooting the computer?