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

Bug 190 - Files are not saved
Summary: Files are not saved
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 3.5.9
Hardware: Macintosh Mac OS
: P2 major
Assignee: Gerd Behrmann
Depends on:
Reported: 2005-08-23 14:16 CEST by Gerd Behrmann
Modified: 2005-11-01 15:58 CET (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Gerd Behrmann 2005-08-23 14:16:49 CEST
When creating a model and saving it to a new file, the model is not actually saved on the first attempt. 
Trying to save it a second time will actually save it.

I have seen this problem on Mac OS X, but not on Linux.
Comment 1 Gerd Behrmann 2005-11-01 15:58:09 CET
A fix has been checked into CVS. We now use the native file selection dialog on Mac OS X. One minor 
detail of this is that we no longer add the file name extension to the file name automatically on Mac OS X.