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

Bug 378 - can we have auto save?
Summary: can we have auto save?
Status: RESOLVED DUPLICATE of bug 110
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.3
Hardware: All All
: P2 enhancement
Assignee: Gerd Behrmann
URL:
Depends on:
Blocks:
 
Reported: 2006-12-15 13:59 CET by Judi Romijn
Modified: 2006-12-15 14:04 CET (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 Judi Romijn 2006-12-15 13:59:21 CET 
I just posted a bug concerning Uppaal crashes. I've had the crash occur about 10 times now, and most of these were so unexpected that I lost quite a bit of editing. Clearly, I don't save my xml project often enough... Could an auto-save feature please be added to Uppaal?
Comment 1 Gerd Behrmann 2006-12-15 14:04:08 CET 
This feature has been requested before, see bug 110. I agree that it would be really nice to have.... ;-)

*** This bug has been marked as a duplicate of bug 110 ***