From 097383f6572dc4112312fa4ed4ad75900317bfe4 Mon Sep 17 00:00:00 2001 From: Juergen Spitzmueller Date: Tue, 14 Jul 2020 15:52:20 +0200 Subject: [PATCH] Fix comment --- 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 a82fc1765c..508a961177 100644 --- a/src/frontends/qt/GuiDocument.cpp +++ b/src/frontends/qt/GuiDocument.cpp @@ -2333,7 +2333,6 @@ void GuiDocument::osFontsChanged(bool nontexfonts) int const font_sf_scale = fontModule->scaleSansSB->value(); int const font_tt_scale = fontModule->scaleTypewriterSB->value(); - // reset the filters updateFontlist(); // store default format QString const dformat = outputModule->defaultFormatCO->itemData( @@ -2600,6 +2599,7 @@ void GuiDocument::updateTexFonts() void GuiDocument::updateFontlist() { + // reset the filters of the CategorizedCombos fontModule->fontsRomanCO->resetFilter(); fontModule->fontsSansCO->resetFilter(); fontModule->fontsTypewriterCO->resetFilter(); -- 2.39.5