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.
Moved enhancement request to 3.5.7, as only bug fixes are allowed in previous releases.
Reassigning to Mads.
Mads, this is a serious usability problem and it would be great if you fix it.
Reassigned to robert
This bug is active when a new query is opened or new queries are loaded.
The code for the requested functionality has now been submitted into CVS.