From 8e50b9569ac45445a9422e351d09eb077b81f198 Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Fri, 13 Sep 2019 09:52:33 +0200
Subject: [PATCH] Fix warning

---
 src/LyXRC.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/LyXRC.cpp b/src/LyXRC.cpp
index fb71174336..e8e66e221d 100644
--- a/src/LyXRC.cpp
+++ b/src/LyXRC.cpp
@@ -3045,7 +3045,7 @@ void actOnUpdatedPrefs(LyXRC const & lyxrc_orig, LyXRC const & lyxrc_new)
 		|| lyxrc_orig.defaultZoom != lyxrc_new.defaultZoom) {
 		dispatch(FuncRequest(LFUN_SCREEN_FONT_UPDATE));
 	}
-
+		// fall through
 	case LyXRC::RC_GEOMETRY_SESSION:
 	case LyXRC::RC_SERVERPIPE:
 	case LyXRC::RC_SET_COLOR:
-- 
2.39.5