Re-add font.pointSize for one thing that needs it
To accomplish the original goal, we'll have to set font.family too.
parent
c88d3460
Please register or sign in to comment
To accomplish the original goal, we'll have to set font.family too.