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

Bug 86 - Useability issues when editing read-only files
Summary: Useability issues when editing read-only files
Status: CLOSED FIXED
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.4.4
Hardware: All All
: P2 minor
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2004-01-27 21:08 CET by Gerd Behrmann
Modified: 2004-06-11 09:52 CEST (History)
0 users

See Also:
Architecture:

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
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.