From 9cdae51688d2abac5d4eb0e69a71b47814d43d3d Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Fri, 2 Mar 2018 20:48:08 +0100 Subject: [PATCH] Allow reload if buffer is externally modified. Follow-up of 2df82c4a44b7. --- src/frontends/qt4/GuiView.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/frontends/qt4/GuiView.cpp b/src/frontends/qt4/GuiView.cpp index bec9a994be..efdd23edfd 100644 --- a/src/frontends/qt4/GuiView.cpp +++ b/src/frontends/qt4/GuiView.cpp @@ -1879,7 +1879,8 @@ bool GuiView::getStatus(FuncRequest const & cmd, FuncStatus & flag) case LFUN_BUFFER_RELOAD: enable = doc_buffer && !doc_buffer->isUnnamed() - && doc_buffer->fileName().exists() && !doc_buffer->isClean(); + && doc_buffer->fileName().exists() + && (!doc_buffer->isClean() || doc_buffer->notifiesExternalModification()); break; case LFUN_BUFFER_CHILD_OPEN: -- 2.39.2