From 03ced49d9f5db464f2bc128aef6563976c0be21d Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Sun, 12 Feb 2023 14:37:35 +0100 Subject: [PATCH] whitespace --- src/frontends/qt/GuiDocument.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/frontends/qt/GuiDocument.cpp b/src/frontends/qt/GuiDocument.cpp index 6e8019d4ba..7cedee508e 100644 --- a/src/frontends/qt/GuiDocument.cpp +++ b/src/frontends/qt/GuiDocument.cpp @@ -4414,7 +4414,7 @@ void GuiDocument::paramsToDialog() font = toqstr(bp_.fontsSans()); foundfont = fontModule->fontsSansCO->set(font, false); - if (!foundfont ) { + if (!foundfont) { fontModule->fontsSansCO->addItemSort(font, font + qt_(" (not installed)"), qt_("Uninstalled used fonts"), qt_("This font is not installed and won't be used in output"), -- 2.39.5