On Jan 26, 2020, at 12:00 PM, pd-list-request@lists.iem.at wrote:

As far as my cross-platofrms issues, I guess things don't look that much
terrible at all if we have actual different fonts for iemgui labels. But
now that I know about it, it annoys me that other fonts besides DejaVu Sans
Mono aren't really there.

The "Times" and "Helvetica" font-families are more, or less, standard on most platforms and fall back to near-equivalent "Serif" and "Sans-Serif" fonts. This has been well-established for a while and also holds true as both of these are considered "web-safe font" families, ie. more or less guaranteed to be available on most web browsers: https://www.w3schools.com/cssref/css_websafe_fonts.asp

"Times New Roman", Times, serif

Arial, Helvetica, sans-serif

What you are probably seeing is that those *specific* fonts are not always available due to licensing, as buying macOS or Windows usually includes licensing for some 3rd party fonts while using a free system may not, a fall back is provided that is similar but not exactly the same.

Perhaps this can be taken care just by mentioning
in the documentation somewhere (if you don't have times/helvetica
installed, similar fonts are loaded).

It could be added to the existing font/README.txt: https://github.com/pure-data/pure-data/blob/master/font/README.txt

It doesn't seem worth doing more than
that and trying to ship the same group of 3 fonts like we're doing with
dejavu, right?

We could do that by shipping DejaVu Sans and DejaVu Serif https://dejavu-fonts.github.io