Re: Font size innacuracies (Windows)

[Robert Pluim]

>>>>> 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
--