Re: 7.1/amd64 DejaVuSansMono fonts are much larger than 7.0/amd64

2022-05-01 Thread Jonathan Thornburg
On Sun, May 01, 2022 at 07:07:36PM -0700, Jonathan Thornburg wrote: > On a freshly installed 7.1/amd64 (Lenovo Thinkpad T530 laptop), the > DejaVuSansMono fonts are much larger (i.e., each character occupies > more screen pixels in both x and y) than on 7.0 and earlier. This is > true for both

Re: 7.1/amd64 DejaVuSansMono fonts are much larger than 7.0/amd64

2022-05-01 Thread Jonathan Gray
On Sun, May 01, 2022 at 07:07:36PM -0700, Jonathan Thornburg wrote: > On a freshly installed 7.1/amd64 (Lenovo Thinkpad T530 laptop), the > DejaVuSansMono fonts are much larger (i.e., each character occupies > more screen pixels in both x and y) than on 7.0 and earlier. This is > true for both

7.1/amd64 DejaVuSansMono fonts are much larger than 7.0/amd64

2022-05-01 Thread Jonathan Thornburg
On a freshly installed 7.1/amd64 (Lenovo Thinkpad T530 laptop), the DejaVuSansMono fonts are much larger (i.e., each character occupies more screen pixels in both x and y) than on 7.0 and earlier. This is true for both fvwm and twm. Empirically, I find that for 7.1, # xterm -fa DejaVuSansMono