[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Font size innacuracies (Windows)

From: Robert Pluim
Subject: Re: Font size innacuracies (Windows)
Date: Tue, 01 Mar 2022 16:26:47 +0100

>>>>> On Tue, 01 Mar 2022 16:16:12 +0100, Juan José García-Ripoll 
>>>>> <> said:

    Juan> I don't know. In principle the manual states that one can select 
    Juan> in the name of the font, e.g. in set-frame-font. I tried it and 
    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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]