From 139f9c2fe5d8ee4f1a1e3e172d09a0b73f92b925 Mon Sep 17 00:00:00 2001
From: Benno Schulenberg <bensberg@telfort.nl>
Date: Tue, 27 Jun 2017 21:55:47 +0200
Subject: [PATCH] files: warn more conspicuously when the file on disk has
 changed

This partially adresses https://savannah.gnu.org/bugs/?50998.
---
 src/files.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/files.c b/src/files.c
index 92b29893..f6c1be9b 100644
--- a/src/files.c
+++ b/src/files.c
@@ -2284,6 +2284,8 @@ int do_writeout(bool exiting)
 			openfile->current_stat->st_dev != st.st_dev ||
 			openfile->current_stat->st_ino != st.st_ino)) {
 
+		    warn_and_shortly_pause(_("File on disk has changed"));
+
 		    if (do_yesno_prompt(FALSE, _("File was modified since "
 				"you opened it; continue saving? ")) < 1)
 			continue;