21 Jul
2017
21 Jul
'17
9:44 a.m.
On 2017-07-21 04:50, Lucas Cordiviola wrote:
I don't see any downside on pdx font metrics.
it seems that i remember dan (or was it miller) pointing to the newly introduced zoom feature which complicates things a bit more. and dynamic font managing. and what not. (probably check the archives) the conclusion for me is: there *are* downsides.
On 2017-07-21 04:50, Lucas Cordiviola wrote:
This is a major change to everybody,
certainly not.
gmasdr IOhannes