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

Bug 190

Summary: Files are not saved
Product: UPPAAL Reporter: Gerd Behrmann <behrmann>
Component: GUIAssignee: Gerd Behrmann <behrmann>
Severity: major    
Priority: P2    
Version: 3.5.9   
Hardware: Macintosh   
OS: Mac OS   

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.