You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Does this issue occur when all extensions are disabled?: Yes/No
VS Code Version:
OS Version: 23H2
Steps to Reproduce:
This happened while I was working with agda-mode extension. At first I saw in extensions panel, that I cannot see my installed extensions. It showed 0 installed extensions. then the agda-mode extension stopped working, then I closed vscode to open it again. but it didn't open.
Since I cannot open vscode anymore, I cannot tell what was my version!
I will reinstall it but anyway I put this here for the record.
The text was updated successfully, but these errors were encountered:
Does this issue occur when all extensions are disabled?: Yes/No
Steps to Reproduce:
Since I cannot open vscode anymore, I cannot tell what was my version!
I will reinstall it but anyway I put this here for the record.
The text was updated successfully, but these errors were encountered: