There is an unsaved comment in progress. You will lose your changes if you continue. Are you sure you want to reopen the work item?
Frustrating wait for Dafny IDE to process changes
The new Dafny Visual Studio plugin waits for a noticeable amount of time (2 seconds?) before re-verifying newly written code, but I've come to find this delay frustrating. I'd like a button I can press (e.g., F11?) that will tell the plugin to start re-verifying
right away rather than waiting.
Also, when I load a new file, or reload a file that I changed in another editor (say, emacs), I'd like to not have to wait for the 2-second delay. After all, the 2-second delay was introduced to avoid conflict with subsequent keystrokes, but a load or reload
shouldn't be expected to be followed by keystrokes. So, if possible, I'd like the plugin to react to a notification that the file was loaded or reloaded by re-verifying immediately.