Failed to save file - Githubissues

dafny-lang / ide-vscode

VSCode IDE Integration for Dafny

https://marketplace.visualstudio.com/items?itemName=dafny-lang.ide-vscode

MIT License

23 stars 18 forks source link

Failed to save file #452

Closed MikaelMayer closed 8 months ago

MikaelMayer commented 10 months ago

I can reproduce this consistently

File > New Text file > Click on select the type to put "Dafny"
File > Save
enter a file name on disk, click Save

Two things will happen:

The file will always be correctly saved on disk and will open in a new tab
The current untitled tab receives a "Failed to save " error message.

This was quite frustrating at the beginning until I realized the file was open in a different tab.