On Tue, Sep 08, 2020 at 08:50:41AM -0600, Jerry James wrote:
Once you've got the font string you want, add it to your ~/.Xresources or ~/.Xdefaults file. Wow, I haven't had to do any of this for years. My memory is a little hazy, but I think that's approximately what needs to be done. :-)
I agree, this dredged up some bad memories of X fonts and font servers.
on my f32 system with the X font packages installed, I don't see a size 12 font:
$ xlsfonts |grep helvetica-medium-r-normal -adobe-helvetica-medium-r-normal--11-80-100-100-p-56-iso8859-1 -adobe-helvetica-medium-r-normal--14-100-100-100-p-76-iso8859-1 -adobe-helvetica-medium-r-normal--17-120-100-100-p-88-iso8859-1 -adobe-helvetica-medium-r-normal--20-140-100-100-p-100-iso8859-1 -adobe-helvetica-medium-r-normal--25-180-100-100-p-130-iso8859-1 -adobe-helvetica-medium-r-normal--34-240-100-100-p-176-iso8859-1
So, I suspect the config for the HP48 emulator (another old memory, RPN rocks!) has a size 12 font set someplace.