Problems with editing files on v.7.1
Just update to new version and got into a strange issue:
a file is opened, changed. when i tried to save or to close and choose to save on the pop up --> the file is not saved!!!
If instead i choose to save on a different filename it works.
Tried that couple of times and it consistent.
You probably ran into this bug.