dot/fonts.conf: More hacking.

Surprisingly, not for the Fixed font!  Use the URW Symbols font in
preference to any Windows one kicking around, because it's correctly
encoded.

diff --git a/dot/fonts.conf b/dot/fonts.conf
index 222d0265f7dcbdd67ab408548712a38db7ef7cce..8fc01fdf1fb20b65bfd953373369b734820dacfa 100644 (file)
--- a/dot/fonts.conf
+++ b/dot/fonts.conf
@@ -56,6 +56,11 @@
     <edit mode="assign" name="pixelsize"><double>13</double></edit>
   </match>
 
     <edit mode="assign" name="pixelsize"><double>13</double></edit>
   </match>
 

+  <match target="pattern">
+    <test name="family"><string>Symbol</string></test>
+    <edit name="foundry"><string>urw</string></edit>
+  </match>
+

   <!-- Hacking for the symbol font.
 
        This seems to be necessary to get Iceweasel/Firefox to do the
   <!-- Hacking for the symbol font.
 
        This seems to be necessary to get Iceweasel/Firefox to do the