diff options
| author | Eli Zaretskii | 2000-07-22 10:17:50 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2000-07-22 10:17:50 +0000 |
| commit | bc77278f5343b5abd712251d18832d7ee12bfac7 (patch) | |
| tree | cbb4c1ba2008884adf1b24f678e727d36b644ea5 /src | |
| parent | 5be757c32b9bcf2c14ea31a3b99a438a90f054e9 (diff) | |
| download | emacs-bc77278f5343b5abd712251d18832d7ee12bfac7.tar.gz emacs-bc77278f5343b5abd712251d18832d7ee12bfac7.zip | |
(syms_of_coding): Doc fix for inhibit-iso-escape-detection.
Diffstat (limited to 'src')
| -rw-r--r-- | src/fileio.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/fileio.c b/src/fileio.c index e2453a5fb26..54b719b4c6c 100644 --- a/src/fileio.c +++ b/src/fileio.c | |||
| @@ -2546,6 +2546,12 @@ This is what happens in interactive use with M-x.") | |||
| 2546 | encoded_file = ENCODE_FILE (file); | 2546 | encoded_file = ENCODE_FILE (file); |
| 2547 | encoded_newname = ENCODE_FILE (newname); | 2547 | encoded_newname = ENCODE_FILE (newname); |
| 2548 | 2548 | ||
| 2549 | #ifdef DOS_NT | ||
| 2550 | /* If the file names are identical but for the case, don't ask for | ||
| 2551 | confirmation: they simply want to change the letter-case of the | ||
| 2552 | file name. */ | ||
| 2553 | if (NILP (Fstring_equal (Fdowncase (file), Fdowncase (newname)))) | ||
| 2554 | #endif | ||
| 2549 | if (NILP (ok_if_already_exists) | 2555 | if (NILP (ok_if_already_exists) |
| 2550 | || INTEGERP (ok_if_already_exists)) | 2556 | || INTEGERP (ok_if_already_exists)) |
| 2551 | barf_or_query_if_file_exists (encoded_newname, "rename to it", | 2557 | barf_or_query_if_file_exists (encoded_newname, "rename to it", |