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.
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.