We will mark buffer as modified only in case of removal,
not when just externally modified.
https://www.mail-archive.com/lyx-devel@lists.lyx.org/msg222715.html
"checksum unchanged: " << filename);
return;
}
- lyx_clean = false;
// If the file has been deleted, only mark the file as dirty since it is
// pointless to prompt for reloading. If later a file is moved into this
// location, then the externally modified warning will appear then.
if (wa_ && wa_->unhide(owner_)) {
wa_->updateTitles();
if (!exists) {
+ lyx_clean = false;
frontend::Alert::warning(
_("File deleted from disk"),
bformat(_("The file\n %1$s\n"