From f8e40f8ab8d5f9daa66a56eef67426a8381b361f Mon Sep 17 00:00:00 2001 From: Scott Kostyshak Date: Fri, 20 Mar 2020 09:12:47 -0400 Subject: [PATCH] Remove redundant font loader code Setting the family to "family" is already attempted above. A different case was adapted to be this duplicate case at d4ff3a29, but it should have just been removed. Spotted by Enrico. --- src/frontends/qt/GuiFontLoader.cpp | 9 --------- 1 file changed, 9 deletions(-) diff --git a/src/frontends/qt/GuiFontLoader.cpp b/src/frontends/qt/GuiFontLoader.cpp index 69dba8d45d..cf73292f2a 100644 --- a/src/frontends/qt/GuiFontLoader.cpp +++ b/src/frontends/qt/GuiFontLoader.cpp @@ -203,15 +203,6 @@ QFont symbolFont(QString const & family, bool * ok) return font; } - LYXERR(Debug::FONT, "Trying " << family << " ... "); - font.setFamily(family); - - if (isChosenFont(font, family, QString())) { - LYXERR(Debug::FONT, "raw version!"); - *ok = true; - return font; - } - LYXERR(Debug::FONT, " FAILED :-("); *ok = false; return font; -- 2.39.2