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.

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.