3 ms·
TLDR; folks should just use PostScript (Big) Points. The mention of https://frinklang.org/ https://frinklang.org/ is kind of interesting --- hadn't heard of
by WillAdams 5mo ago
TLDR; folks should just use PostScript (Big) Points.
The mention of
https://frinklang.org/ https://frinklang.org/
is kind of interesting --- hadn't heard of it before --- may need to revisit the "ProportionBar" tool which I made ages ago....
- JoshTriplett 5mo ago> TLDR; folks should just use PostScript (Big) Points. The distinction ends up being important if you need compatibility with some document format, or with common typesetting expectations. But if there weren't a concern of surprising people with certain expectations of font-picking widgets, I'd argue that the better choice would be millimeters. 4mm is a great default font size, and going up by one integer mm at a time is a reasonable step size (it's just under 3pt).
- WillAdams 5mo agoIn Japan, a common measurement of font size is _kyu_ (q) one-fourth of a millimeter (0.25mm).