This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 395

Summary: Cancel in the Save System dialog quits UPPAAL
Product: UPPAAL Reporter: Lars T. Mikkelsen <ltm>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: ASSIGNED ---    
Severity: major    
Priority: P2    
Version: 4.0.5   
Hardware: Macintosh   
OS: Mac OS   

Description Lars T. Mikkelsen 2007-02-26 15:22:47 CET
On Mac OS (but not Linux) the Cancel button in the Save System dialog quits UPPAAL.

Reproducible: Always

Steps to Reproduce:
1. Start UPPAAL
2. Add a new location to the template
3. Press Command-Q (or select Quit from the UPPAAL menu)
4. Press Cancel in the Save System dialog

Actual Results:
UPPAAL quits without saving the system.

Expected Results:
The Save System dialog should be closed and UPPAAL should not quit.
Comment 1 Gerd Behrmann 2007-02-26 19:15:34 CET
Comment 2 Gerd Behrmann 2007-03-02 21:53:25 CET
Further info:

- The bug is only triggered if Uppaal is quit via the menu (either with the mouse or keyboard shortcut). Closing the window behaves as expected.
- Canceling in the "Save Don't save Cancel"-dialog is also affected. 

The bug happens to be in SwixML, which does not provide a means to cancel the quit. I have committed a workaround on the 4.0 branch from rev. 2986.
Comment 3 Lars T. Mikkelsen 2007-03-15 10:00:24 CET
Fix confirmed in 4.0.6.
Comment 4 Gerd Behrmann 2007-03-15 10:30:55 CET
The bug is not yet closed on other branches than 4.0.