** set-default-font has been renamed to set-frame-font<BR>
since it applies only to the current frame.
<P>