15 Oct
2012
15 Oct
'12
9:33 a.m.
On 15/10/12 08:23, Ed Kelly wrote:
I've tried various -font-face arguments:
$ pd -font-face "DejaVu Sans Mono"
(note the quotes) works for me (at least it looks different from the default) with
$ pd -version Pd version 0.42-6 compiled 08:43:13 Mar 19 2012
Hope this helps,