[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
>>>>> <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
--
Re: Font size innacuracies (Windows), Eli Zaretskii, 2022/03/01