diff options
| author | Igor Burago <ib@iburago.org> | 2018-05-17 16:18:10 -0700 |
|---|---|---|
| committer | David du Colombier <0intro@gmail.com> | 2018-06-26 23:24:22 +0200 |
| commit | df2d9ec9d169626cdc2a23829bb2831738215722 (patch) | |
| tree | 3d44a4cd3517fca6d18e9a97139843b8f3291800 /src/cmd/venti/srv/www/debug.html | |
| parent | 03a8ec739af17bc4ba0a2e18ea59b33671c34f2b (diff) | |
| download | plan9port-df2d9ec9d169626cdc2a23829bb2831738215722.tar.gz plan9port-df2d9ec9d169626cdc2a23829bb2831738215722.tar.bz2 plan9port-df2d9ec9d169626cdc2a23829bb2831738215722.zip | |
fontsrv: omit box-drawing characters from line struts on macOS
For some fonts, using box-drawing characters in the representative
text for computing the line height results in it being uncomfortably
high. Replace them with accented capitals and tall lower-case letters
which lead to a more conservative increase in the line height.
Fixes #162.
Diffstat (limited to 'src/cmd/venti/srv/www/debug.html')
0 files changed, 0 insertions, 0 deletions