Update buffer after preferences change.

Fixes missing update after new InsetInfo stuff.

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index a2df8d0d4791fb502316e8c2645221d564cca6b3..4d20b0558a579ba3395d249d7afb722fbb6cfff1 100644 (file)
--- 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;
        }