TAPAAL

Code review comment for lp:~tapaal-contributor/tapaal/tapn-ending-for-files-686545

  1. tapn-ending-for-files-686545
  2. Merge into trunk
Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

A. Done

B. When opening an .xml file it will create a new file with the same name but with .tapn instead. The .xml file will remain intact in the file system. When a .tapn file is created from a .xml file a message will show. First time it is renamed it will be 'Saved as'.

C. I was not able to reproduce this..

review: Needs Resubmitting

« Back to merge proposal