Hi, dear list !
trying to get around PD in ubuntu linux and was curious if other fonts rather than "DejaVu Sans Mono" can be used or what i would have to do to make it work.
another question: what about LINUX fonts that have spaces in their names ? how can they be loaded for PD ? quotes don't seem to work !
i tried to launch PD under ubuntu 18 with the flag
-font-face "Bitstream Vera Sans Mono"
and received a serious Tcl/Tk error that i only could escape by killing PD and changing .pdsettings manually (i guess it said because of the quotes symbol - but forgot to write it down ...)
i'd like to try some classic fonts like courier or other mono fonts but so far none of them was accepted and "DejaVu Sans Mono" was loaded instead.
Not a big problem but i just wanted to know what experiences other linux users here have concerning using different fonts
thanks for any hints
best
oliver