Make box drawing line thickness depend on cell/font size
The box drawing characters' line thickness is currently based on DPI only. I.e. their point sizes is hardcoded (to 1.0 for
LIGHT characters, and 2.0 for
But, this means the thickness doesn't change with the font.
People tend to increase the font size as the viewing distance increases. It would make sense to increase the line thickness in the same way.
See #276 initial discussion.
Deleting a branch is permanent. It CANNOT be undone. Continue?