Refresh does not reload source view, causing loss of work
Refreshing the session with Ctrl-R does not reload the source view. I lost work from this with the following steps:
-
Open Why3 ide
-
Edit the source file in your favorite editor
-
Reload (source view does not change)
-
Edit the file from Why3 ide (in my case, inadvertently by pressing tab a few times in the ide), save file
-
You lose the work from 2)