213:67ef4e6e6ceb
Anton Shestakov <av6@dwimlabs.net>, Sat, 08 May 2021 07:52:45 +0800
terminalrc: add new terminal options, switch to 11 font (the same as old 10?)
previous change 106:3f4d203fe46f

fonts/local.conf

Permissions: -rw-r--r--

File Latest Revisions Annotate Diff Comparison
Other formats:
JSON Raw
Feeds:
Atom RSS 
<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<fontconfig>
  <match target="font">
    <edit mode="assign" name="rgba">
      <const>none</const>
    </edit>
    <edit mode="assign" name="antialias">
      <bool>true</bool>
    </edit>
    <edit mode="assign" name="hinting">
      <bool>true</bool>
    </edit>
    <edit mode="assign" name="hintstyle">
      <const>hintfull</const>
    </edit>
    <edit mode="assign" name="lcdfilter">
      <const>lcdnone</const>
    </edit>
  </match>
</fontconfig>