chiark
/
gitweb
/
~mdw
/
profile
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9032280
)
dot/fonts.conf: Force the family for the Symbols font.
author
Mark Wooding
<mwooding@good.com>
Fri, 10 Apr 2015 14:19:25 +0000
(15:19 +0100)
committer
Mark Wooding
<mwooding@good.com>
Tue, 14 Apr 2015 17:55:51 +0000
(18:55 +0100)
dot/fonts.conf
patch
|
blob
|
blame
|
history
diff --git
a/dot/fonts.conf
b/dot/fonts.conf
index d5b13437834f5f8d542b49c51fbf431e60521b93..9c5eed9f735099687d5d870a0268538df081fec6 100644
(file)
--- a/
dot/fonts.conf
+++ b/
dot/fonts.conf
@@
-67,7
+67,8
@@
right thing with MathML and suchlike.
-->
<match target="pattern">
right thing with MathML and suchlike.
-->
<match target="pattern">
- <test name="family"><string>symbol</string></test>
+ <test name="family"><string>Symbol</string></test>
+ <edit name="foundry"><string>urw</string></edit>
<edit binding="strong" mode="append" name="family">
<string>Standard Symbols L</string>
</edit>
<edit binding="strong" mode="append" name="family">
<string>Standard Symbols L</string>
</edit>