diff options
Diffstat (limited to 'graphics/xpdf/files/patch-xfont')
| -rw-r--r-- | graphics/xpdf/files/patch-xfont | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/graphics/xpdf/files/patch-xfont b/graphics/xpdf/files/patch-xfont new file mode 100644 index 000000000000..1393e2640e20 --- /dev/null +++ b/graphics/xpdf/files/patch-xfont @@ -0,0 +1,11 @@ +--- xpdf/XPDFViewer.cc.orig 2004-10-12 12:24:57.055068037 +0200 ++++ xpdf/XPDFViewer.cc 2004-10-12 12:24:47.707449614 +0200 +@@ -1742,7 +1742,7 @@ + aboutBigFont = + createFontList("-*-times-bold-i-normal--20-*-*-*-*-*-iso8859-1"); + aboutVersionFont = +- createFontList("-*-times-medium-r-normal--16-*-*-*-*-*-iso8859-1"); ++ createFontList("-*-times-medium-r-normal--14-*-*-*-*-*-iso8859-1"); + aboutFixedFont = + createFontList("-*-courier-medium-r-normal--12-*-*-*-*-*-iso8859-1"); + |