Zulip Chat Archive

Stream: general

Topic: error opening infoview

Kevin Buzzard (Dec 31 2021 at 13:37):

For the second time in the last few days, when I started a new VS Code Lean session with code . in a Lean 3 repo I have got the error

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

and the infoview doesn't work. Closing the infoview and reopening it doesn't fix it. Closing VS Code and opening it again does. Not a big issue but I thought I'd mention it in case it was happening to anyone else.

Arthur Paulino (Dec 31 2021 at 14:23):

Not sure if related, but sometimes the escaping shortcut (typing out \...) doesn't work either and I need to close VS Code and open it again

Eric Rodriguez (Dec 31 2021 at 14:24):

this happens all the time to me, Arthur - you can do the vscode command "Developer: Reload Window" instead of closing VSCode to fix it; I wonder if that fixes Kevin's issue?

Gabriel Ebner (Dec 31 2021 at 14:51):

@Kevin Buzzard @Eric Rodriguez What is your vscode version?

Eric Rodriguez (Dec 31 2021 at 14:56):

image.png

Eric Rodriguez (Dec 31 2021 at 14:57):

(but it also happened on my Windows VSCode for a while, which has been through every range of versions under the sun)

Kevin Buzzard (Dec 31 2021 at 15:06):

VSC.png

Gabriel Ebner (Dec 31 2021 at 15:08):

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

Kevin Buzzard (Dec 31 2021 at 15:14):

Thanks

Heather Macbeth (Jan 12 2023 at 23:15):

Kevin Buzzard said:

For the second time in the last few days, when I started a new VS Code Lean session with code . in a Lean 3 repo I have got the error

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

and the infoview doesn't work. Closing the infoview and reopening it doesn't fix it. Closing VS Code and opening it again does. Not a big issue but I thought I'd mention it in case it was happening to anyone else.

I have this same problem at the moment -- a blank infoview, resistant to opening and closing VS Code, or to switching projects or branches. I had the same problem a couple of weeks ago and someone in the porting meeting gave me an easy fix -- on the order of deleting a certain file or running a certain command -- and unfortunately I've now forgotten what the fix is! Does anyone know?

Ruben Van de Velde (Jan 12 2023 at 23:18):

I think it may be caused by zombie code processes and killall code may help

Heather Macbeth (Jan 12 2023 at 23:25):

Thanks, but it doesn't seem to be that.

Last updated: Dec 20 2023 at 11:08 UTC