Re: set-default-font

[Eli Zaretskii]

> From: ken <gebser@mousecar.com>
> Date: Tue, 25 Aug 2020 18:15:41 -0400
> 
> Another problem is that the resulting font is too small, but changing
> "258" to e.g. "358" doesn't change anything.  How can I find out an
> appropriate specification?

Try different values until you find one that works for you.  In
general, I'd expect any value to work, unless if you use bitmapped
fonts, where maybe only certain discrete values will work.