From dd45c674680fc7f4e86bc8faa82dffb6dbff2498 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Fri, 10 Nov 2017 14:57:19 +0100 Subject: [PATCH] Whitespace --- src/frontends/qt4/GuiPrefs.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/qt4/GuiPrefs.cpp b/src/frontends/qt4/GuiPrefs.cpp index 7f55a4d435..c73114949b 100644 --- a/src/frontends/qt4/GuiPrefs.cpp +++ b/src/frontends/qt4/GuiPrefs.cpp @@ -3590,7 +3590,7 @@ void GuiPreferences::dispatchParams() update_screen_font_ = false; } - if (update_previews_) { + if (update_previews_) { // resets flag in case second apply in same dialog theBufferList().updatePreviews(); update_previews_ = false; -- 2.39.5