On 1/26/2020 10:59 AM, Dan Wilcox wrote: > We could do that by shipping DejaVu Sans and DejaVu Serif > https://dejavu-fonts.github.io > > "DejaVu Serif", "Times New Roman", Times, serif > > "DejaVu Sans", Arial, Helvetica, sans-serif > > Or, alternatively, choose a "safer fonts" than Helvetica and Times but > I feel that will still not guarantee as close a match as using the > exact same font on all platforms. As we have seen, it's working > relatively well with DejaVu Sans Mono.
+1 I think this is the best solution. And I agree with the reasoning. -- Mensaje telepatico asistido por maquinas. _______________________________________________ Pd-list@lists.iem.at mailing list UNSUBSCRIBE and account-management -> https://lists.puredata.info/listinfo/pd-list