2021-08-21 15:45:50 +02:00
|
|
|
<?xml version="1.0"?>
|
|
|
|
<!DOCTYPE fontconfig SYSTEM "urn:fontconfig:fonts.dtd">
|
|
|
|
<fontconfig>
|
2021-08-25 10:43:20 +02:00
|
|
|
<description>Add mono to the family when spacing is 100</description>
|
2021-08-21 15:45:50 +02:00
|
|
|
<!--
|
2021-08-25 10:43:20 +02:00
|
|
|
If the request specifies spacing 100, add monospace to family
|
2021-08-21 15:45:50 +02:00
|
|
|
-->
|
|
|
|
<match target="pattern">
|
2021-08-23 15:00:52 +02:00
|
|
|
<test qual="any" name="spacing" compare="eq">
|
2021-08-21 15:45:50 +02:00
|
|
|
<int>100</int>
|
|
|
|
</test>
|
2021-08-25 10:43:20 +02:00
|
|
|
<edit name="family" mode="prepend">
|
2021-08-21 15:45:50 +02:00
|
|
|
<string>monospace</string>
|
|
|
|
</edit>
|
|
|
|
</match>
|
|
|
|
</fontconfig>
|