Save Uppaal XML
Bug #351234 reported by
Jiri Srba
Affects | Status | Importance | Assigned to | Milestone | |
---|---|---|---|---|---|
TAPAAL |
Fix Released
|
Medium
|
Joakim Byg |
Bug Description
The option Save Uppaal XML is not remembered in a query dialog when the button "Save" is pressed.
Changed in tapn: | |
importance: | Undecided → Medium |
milestone: | none → version1 |
Changed in tapn: | |
status: | Fix Committed → Fix Released |
To post a comment you must log in.
This was an design decision as the "save" option was supposed to be temporary.