hi all ...
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 ...
cheers ... tim