Le 21/11/2016 à 17:28, Jean-Marc Lasgouttes a écrit :
Do you really see a difference with this patch? What makes you thing
that theFontMetrics(font).em() does not scale with zoom? Looking at the
code, the way zoom is taken in account on this code path in Length is
pretty ugly.
I find the previou
Le 21/11/2016 à 01:17, Guillaume Munch a écrit :
commit fdd09d6f51491059f3def7f6c3d11167d6f5462c
Author: Guillaume Munch
Date: Sun Nov 20 23:41:36 2016 +0100
Let math mu skips scale with zoom
Do you really see a difference with this patch? What makes you thing
that theFontMetrics(font)
