Update buffer after preferences change.

Fixes missing update after new InsetInfo stuff.
This commit is contained in:
Richard Kimberly Heck 2018-08-07 23:38:55 -04:00
parent 43530bb721
commit 2896441dbb

View File

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