commit 2896441dbbdc921ffa5ef2483d8b1d1a6367e0d2 Author: Richard Kimberly Heck <rikih...@lyx.org> Date: Tue Aug 7 23:38:55 2018 -0400
Update buffer after preferences change. Fixes missing update after new InsetInfo stuff. --- src/frontends/qt4/GuiApplication.cpp | 1 + 1 files changed, 1 insertions(+), 0 deletions(-) diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp index a2df8d0..4d20b05 100644 --- a/src/frontends/qt4/GuiApplication.cpp +++ b/src/frontends/qt4/GuiApplication.cpp @@ -1802,6 +1802,7 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr) // UI, then, nothing would happen. This seems fairly unlikely, but // it definitely is a bug. + dr.forceBufferUpdate(); break; }