I don't understand.

I mean if the "Rename" button in the "Save As" dialog still results in the current document contents being written to the new filen and the old file no longer existing, it should be left "Rename". If it produces a different outcome in the success case, then there should be a whole new button next to "Rename" that does whatever else.

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