]> cvs.zerfleddert.de Git - micropolis/commitdiff
projects / micropolis / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 24f95c6)
Remove copy of DejaVu font and prioritize helvetica
authorMichael Gernoth <michael@gernoth.net>
Sat, 28 Jun 2025 08:18:00 +0000 (10:18 +0200)
committerMichael Gernoth <michael@gernoth.net>
Sat, 28 Jun 2025 08:18:00 +0000 (10:18 +0200)
Dynamically adding and removing directories to/from the font-path
is a bad idea, so remove our own copy of the DejaVu font and use
Helvetica if it is available. This makes rendered fonts a bit
more bearable.


No differences found
Micropolis
Impressum, Datenschutz