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. _______________________________________________ [email protected] mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list
