Re: How to get the font size
Ralf Angeli <angeli(a)iwi.uni-sb.de> writes:
In that case I'll probably settle with something like (round (*
.9
(face-height 'default))) which should return values a little closer
to the actual font size.
On my system, with a default font size of 10 and a corresponding face
height of 16, a better factor would be .625, or something close to it.
--
Steven E. Harris