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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	ASSIGNED ---
Severity:	major
Priority:	P2
Version:	4.0.5
Hardware:	Macintosh
OS:	Mac OS
Architecture:

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

Confirmed

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.