]> 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:49:48 +0000 (20:49 +0100)
commit3d6b8c0abbfc61d803f82251c53d1ea81d033214
tree215090f46e1f5133a2053bfbe603bacd915b1ffd
parente97a82b7ff54eb2a3e6ac48ae0484cb3ddb9e031
Allow reload if buffer is externally modified.

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