On 1/24/2020 12:14 AM, Alexandre Torres Porres wrote:
is DejaVu Sans Mono and this is installed and loaded as being exactly the same for all platforms, right?
Here linux and windows use "bold" font. macOS uses "normal" font :
https://github.com/pure-data/pure-data/blob/master/src/s_main.c#L74
Here there's a search for a base font :
https://github.com/pure-data/pure-data/blob/master/tcl/pd-gui.tcl#L468
Here there's some font settings per OS :
https://github.com/pure-data/pure-data/blob/master/tcl/pd-gui.tcl#L284
--
Mensaje telepatico asistido por maquinas.