1 --- settings.xml.orig 2009-09-05 08:14:49.000000000 +0800
2 +++ settings.xml 2009-09-05 08:16:34.000000000 +0800
5 <string>String</string>
7 - <string>profontwindows.ttf</string>
8 + <string>/usr/share/fonts/TTF/DejaVuSansMono.ttf</string>
10 <key>FontSansSerif</key>
14 <string>String</string>
16 - <string>DejaVuSansCondensed.ttf</string>
17 + <string>/usr/share/fonts/TTF/DejaVuSansCondensed.ttf</string>
19 <key>FontSansSerifBold</key>
23 <string>String</string>
25 - <string>DejaVuSansCondensed-Bold.ttf</string>
26 + <string>/usr/share/fonts/TTF/DejaVuSansCondensed-Bold.ttf</string>
28 <key>FontSansSerifFallback</key>