]> git.lyx.org Git - features.git/commit
Allow reload if buffer is externally modified.
authorPavel Sanda <sanda@lyx.org>
Fri, 2 Mar 2018 19:48:08 +0000 (20:48 +0100)
committerPavel Sanda <sanda@lyx.org>
Fri, 2 Mar 2018 19:48:08 +0000 (20:48 +0100)
commit9cdae51688d2abac5d4eb0e69a71b47814d43d3d
tree2422d0fded8d8b2ff40d47fa7b32531b6c84a216
parent64d1751f2f25668e1b7ed3e6607e22c8e6533ff7
Allow reload if buffer is externally modified.

Follow-up of 2df82c4a44b7.
src/frontends/qt4/GuiView.cpp