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;
        }
 

Reply via email to