Re: Font size innacuracies (Windows)

[Juan José García-Ripoll]

Same as if you put the pixel size in the name.

Robert Pluim <rpluim@gmail.com> writes:
>>>>>> On Tue, 01 Mar 2022 16:16:12 +0100, Juan José García-Ripoll
> <juanjose.garciaripoll@gmail.com> said:
>
>     Juan> I don't know. In principle the manual states that one can select 
> pixels
>     Juan> in the name of the font, e.g. in set-frame-font. I tried it and 
> changing
>     Juan> "Consolas:pixelsize=14" to "Consolas:pixelsize=12" does indeed 
> change
>     Juan> the size.
>
>     Juan> In any case, what bothers me is that (i) even if Windows screws the
>     Juan> conversion, I do not find a suitable point or pixel size that 
> matches
>     Juan> other applications (ii) the density of characters is different, both
>     Juan> vertically and horizontally, despite being monospaced fonts, (iii) 
> the
>     Juan> difference in kerning and spacing is more remarked for 
> variable-pitch
>     Juan> fonts.
>
> What happens if you use 'menu-set-font' instead?
>
> Robert

-- 
Juan José García Ripoll
http://juanjose.garciaripoll.com
http://quinfog.hbar.es