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

Bug 86

Summary: Useability issues when editing read-only files
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Status: CLOSED FIXED    
Severity: minor    
Priority: P2    
Version: 3.4.4   
Hardware: All   
OS: All   

Description Gerd Behrmann 2004-01-27 21:08:10 CET
When editing read-only files in the GUI and then quitting, UPPAAL asks whether
the changes should be saved. If confirmed, UPPAAL correctly produces an error
message stating that the file cannot be saved, but then the GUI quits anyway.
Thus the changes get lost. Instead the quit operation should be cancelled or a
save as... should be used.

Submitted by Ferdy Hanssen.
Comment 1 Gerd Behrmann 2004-01-29 14:50:42 CET
A fix has been checked into CVS. When the file is read-only UPPAAL now opens the
'save as...' dialog. When attempting to save to the file anyway, the exit
operation is cancelled.