Am Mittwoch, den 16.01.2019, 11:10 +0100 schrieb Jean-Marc Lasgouttes: > I pushed a commit doibng that. It should mostly make a difference > for > fonts like MinionPro and for HiDpi (or hi zoom) settings.
Looks good here (MinionPro). I did not yet have the chance to check with HiDPI, but I will do that. Jürgen
signature.asc
Description: This is a digitally signed message part
