--- xpdf-3.02-poppler.orig/XPDFViewer.cc 2007-11-17 00:23:01.000000000 +0100 +++ xpdf-3.02-poppler/XPDFViewer.cc 2008-03-06 16:28:49.000000000 +0100 @@ -2789,9 +2789,9 @@ //----- fonts aboutBigFont = - createFontList("-*-times-bold-i-normal--20-*-*-*-*-*-iso8859-1"); + createFontList("-*-times*-bold-i-normal--20-*-*-*-*-*-iso8859-1"); aboutVersionFont = - createFontList("-*-times-medium-r-normal--16-*-*-*-*-*-iso8859-1"); + createFontList("-*-times*-medium-r-normal--16-*-*-*-*-*-iso8859-1"); aboutFixedFont = createFontList("-*-courier-medium-r-normal--12-*-*-*-*-*-iso8859-1");