TAPAAL

Save Uppaal XML

Bug #351234 reported by Jiri Srba
2
Affects Status Importance Assigned to Milestone
TAPAAL
Fix Released
Medium
Joakim Byg
TAPAAL 1.0

Bug Description

The option Save Uppaal XML is not remembered in a query dialog when the button "Save" is pressed.

Jiri Srba (srba)
Changed in tapn:
importance: Undecided → Medium
milestone: none → version1
Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

This was an design decision as the "save" option was supposed to be temporary.

Changed in tapn:
assignee: nobody → joakim-byg
status: New → Confirmed
Revision history for this message
Jiri Srba (srba) wrote :

Well, we should then decide. Either we disable this option, or we leave it but then it should be saved together with a query.

Revision history for this message
Kenneth Yrke Jørgensen (yrke) wrote :

The option has been removed and replaced with an export button

Changed in tapn:
status: Confirmed → Fix Committed
Kenneth Yrke Jørgensen (yrke)
Changed in tapn:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.