Goal completely empty

[fakusb]

There is a bug that sometimes, after opening vscode on Windows using WSL, the goal is completely empty although the .v file can be stepped through.

Using F1 -> Webview developer tool, one sees a warning that a http request for goals.js returned error 404 not found.

A workaround seems to be to not start vscode in the windows application menu, but to use the WSL-shell and execute code (or code . in the right folder).

[HermesMarc]

This bug is still around. I tried the workaround today, but it also did not work for me.

[Apiros3]

Just had a similar issue today. Went into the webview developer tool, and I got a Minified React Error # 185, which probably means the code was too large / depth was too large on the react side, but would run through as a step. I'm guessing that I'm triggering some infinite loop on the text side but am not too sure how this could be resolved right now.