From 2896441dbbdc921ffa5ef2483d8b1d1a6367e0d2 Mon Sep 17 00:00:00 2001
From: Richard Kimberly Heck <rikiheck@lyx.org>
Date: Tue, 7 Aug 2018 23:38:55 -0400
Subject: [PATCH] Update buffer after preferences change.

Fixes missing update after new InsetInfo stuff.
---
 src/frontends/qt4/GuiApplication.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index a2df8d0d47..4d20b0558a 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;
 	}
 
-- 
2.39.5