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:	GUI	Assignee:	Gerd Behrmann <behrmann>
Status:	CLOSED FIXED
Severity:	minor
Priority:	P2
Version:	3.4.4
Hardware:	All
OS:	All
Architecture:

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.