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

Bug 16

Summary: The GUI should warn about unsaved queries
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Robert Olesen <egir>
Status: RESOLVED FIXED    
Severity: enhancement    
Priority: P2    
Version: 3.5.7   
Hardware: All   
OS: All   
Architecture:

Description Gerd Behrmann 2003-06-26 14:27:54 CEST
When a new project is loaded or UPPAAL is closed, the user should be asked
whether he/she wants to save the current queries (in case they have not already
been saved). This currently happens for the model, but not for the queries.
Comment 1 Gerd Behrmann 2005-06-29 21:17:05 CEST
Moved enhancement request to 3.5.7, as only bug fixes are allowed in previous releases.
Comment 2 Gerd Behrmann 2005-08-25 16:27:43 CEST
Reassigning to Mads.

Mads, this is a serious usability problem and it would be great if you fix it.
Comment 3 Mads Schaarup Andersen 2005-09-28 14:10:30 CEST
Reassigned to robert
Comment 4 Robert Olesen 2005-10-19 13:23:33 CEST
This bug is active when a new query is opened or new queries are loaded.
Comment 5 Robert Olesen 2005-11-12 13:14:02 CET
The code for the requested functionality has now been submitted into CVS.