search

VerifAPS / stvs

StructuredText Verification Studio
http://formal.iti.kit.edu/stvs
GNU General Public License v3.0
9 stars 0 forks source link

When creating new code pane, old code is lost #33

Closed mattulbrich closed 7 years ago

mattulbrich commented 7 years ago

It would be sensible to have a quick "Do you want to save your current code?" dialog.