This is an alternative (which I find better) to #1191.
When cloning documents, a filename that's similar to the original - with a .clone
extension appended to it, is given to the clone. The new filename is unique. It starts first with filename.clone
. If the filename exists or is used by another document, a number is appended to it (e.g. .clone1
), which increments until a unique filename is found.
https://github.com/geany/geany/pull/1197
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.