[PD-dev] pd's font type

[Reini Urban]

Tim Blechmann schrieb:
> i'm curious, if i shall add the code to set the font type to devel_0_38.
> since the change from courier to tahoma was done by accident and courier
> is back in devel_0_37 and 38, i'm curious, if someone would actually use
> the feature to set the default font from the command line ...
> 
> if no one asks for that feature until tomorrow evening, i won't add it

I'd prefer Tahoma if its easy...
Aligment issues are less important than aesthetics for me. Tahoma is 
very efficient in it's space usage. (The narrow counterpart of the 
monstrous Verdana)

-- 
Reini Urban
http://xarch.tu-graz.ac.at/home/rurban/