From: Vincent van Ravesteijn <vfr@lyx.org>
Date: Wed, 29 Dec 2010 05:50:50 +0000 (+0000)
Subject: Add some extra information about bug #3684.
X-Git-Tag: 2.0.0~1237
X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=fbd84bc18510cd3ac33cabc0d69df520acbf6f30;p=features.git

Add some extra information about bug #3684.

git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@37031 a592a061-630c-0410-9148-cb99ea01b6c8
---

diff --git a/src/frontends/qt4/GuiFontLoader.cpp b/src/frontends/qt4/GuiFontLoader.cpp
index a09e113bc5..955303bb91 100644
--- a/src/frontends/qt4/GuiFontLoader.cpp
+++ b/src/frontends/qt4/GuiFontLoader.cpp
@@ -259,13 +259,13 @@ GuiFontInfo::GuiFontInfo(FontInfo const & f)
 		switch (f.family()) {
 		case ROMAN_FAMILY: {
 			QString family = makeFontName(toqstr(lyxrc.roman_font_name),
-																		toqstr(lyxrc.roman_font_foundry)); 
+				toqstr(lyxrc.roman_font_foundry)); 
 			font.setFamily(family);
 #ifdef Q_WS_MACX
-#if QT_VERSION >= 0x040300
+#if QT_VERSION >= 0x040300 //&& QT_VERSION < 0x040800
 			// Workaround for a Qt bug, see http://www.lyx.org/trac/ticket/3684
-			// It is reported to Trolltech at 02/06/07 against 4.3 final.
-			// FIXME: Add an upper version limit as soon as the bug is fixed in Qt.
+			// 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