As @LarsGit223 confirms, there will be no save if the file is unmodified, making a change and then undoing it leaves the file unmodified, but two modifications that just happen to cancel each other out are still two modifications, so the file is not unmodified and the save dialog occurs.