From dd45c674680fc7f4e86bc8faa82dffb6dbff2498 Mon Sep 17 00:00:00 2001
From: Juergen Spitzmueller <spitz@lyx.org>
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;