DEIS-Tools / H-Uppaal

MIT License
8 stars 3 forks source link

Save as option #32

Closed ulriknyman closed 4 years ago

ulriknyman commented 4 years ago

Create a "Save Project as ..." menu option in the File menu. This should open a file selector in which in which it should be possible to create a new folder and select this new folder. The project should then be saved in this new folder.