First Last Prev Next    No search results available      Search page      Enter new bug
Bug#: 395
Product:
Component:
Status: ASSIGNED
Resolution:
Assigned To: Gerd Behrmann <behrmann@cs.aau.dk>
Hardware:
OS:
Version:
Priority:
Severity:
Reporter: Lars T. Mikkelsen <ltm@cs.aau.dk>
Add CC:
CC:
URL:
Summary:

Attachment Type Creator Created Size Actions
Create a New Attachment (proposed patch, testcase, etc.) View All

Bug 395 depends on: Show dependency tree
Show dependency graph
Bug 395 blocks:
Votes: 0    Show votes for this bug    Vote for this bug

Additional Comments:








View Bug Activity   |   Format For Printing   |   XML   |   Clone This Bug

Description:   Opened: 2007-02-26 15:22 
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 From Gerd Behrmann 2007-02-26 19:15:34 ------- 
Confirmed

------- Comment #2 From Gerd Behrmann 2007-03-02 21:53:25 ------- 
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 From Lars T. Mikkelsen 2007-03-15 10:00:24 ------- 
Fix confirmed in 4.0.6.

------- Comment #4 From Gerd Behrmann 2007-03-15 10:30:55 ------- 
The bug is not yet closed on other branches than 4.0.
First Last Prev Next    No search results available      Search page      Enter new bug