22 Feb
2017
22 Feb
'17
11:20 p.m.
On Mit, 2017-02-22 at 14:06 -0700, Dan Wilcox wrote:
In the source code for Pd, I have also changed the default font weight to “normal”, so there shouldn’t be a need for the bold version. I have to fix the Windows build to be able to see it for myself next, though.
Isn't changing the font weight a separate issue from fixing consistent appearance across platforms, in that the font weight is a design decision while using the same font and working font metrics are a bug fix?
I propose that changing the font weight is treated as a separate step. Miller probably consciously chose bold weight and we shouldn't treat it as a bug. Personally, I'm not even in favor of font weight normal, though I hardly care.
Roman