From 546efc3ff116ecfc0980ae32e6282c965f39918d Mon Sep 17 00:00:00 2001
From: Jean-Marc Lasgouttes <lasgouttes@lyx.org>
Date: Sat, 19 Nov 2022 20:09:59 +0100
Subject: [PATCH] Remove a workaround that seems to be useless since Qt 4.8

---
 src/frontends/qt/GuiFontLoader.cpp | 8 --------
 1 file changed, 8 deletions(-)

diff --git a/src/frontends/qt/GuiFontLoader.cpp b/src/frontends/qt/GuiFontLoader.cpp
index ebc3857555..d980dacb55 100644
--- a/src/frontends/qt/GuiFontLoader.cpp
+++ b/src/frontends/qt/GuiFontLoader.cpp
@@ -284,14 +284,6 @@ QFont makeQFont(FontInfo const & f)
 			QString family = makeFontName(toqstr(lyxrc.roman_font_name),
 				toqstr(lyxrc.roman_font_foundry));
 			font.setFamily(family);
-#ifdef Q_OS_MAC
-			// FIXME KILLQT4: Double-check that this is fixed in Qt5
-			// Workaround for a Qt bug, see http://www.lyx.org/trac/ticket/3684
-			// and http://bugreports.qt.nokia.com/browse/QTBUG-11145.
-			// FIXME: Check whether this is really fixed in Qt 4.8
-			if (family == "Times" && !font.exactMatch())
-				font.setFamily("Times New Roman");
-#endif
 			break;
 		}
 		case SANS_FAMILY: