The problem was due to an obscure config file inconsistency between xfce4 versions!
The default font size used by Emacs is provided by the window manager (probably by some freedesktop mechanism). Now both boxes were showing exactly the same xfce4 setting: under Settings/Appearance/Fonts
- the “Default Font” was shown as “Sans Regular 10”,
- the “Default Monospace Font” as “Monospace Regular 10”.
Trying to debug the problem on the box with the too large characters, I decreased both font sizes to 9 in xfce settings. This resulted in Emacs using a smaller font: the size shown in Emacs by C-u x = went down from 15 to 12. I then opened xfce settings again, and increased the font sizes back to 10. To my surprise, the size shown in the font string now went up to 13, i.e. the same as on the other machine! (Note that the xfce fonts dialog was showing exactly the same values as before, when the sizes were off.)
Trying to understand what happened, I diffed yesterday’s snapshot of ~/.config/xfce with the current state and this is the result:
diff -u '--color=auto' -r .config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml /home/cwg/.config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml --- .config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml 2025-09-26 17:36:30.755578811 +0200 +++ /home/cwg/.config/xfce4/xfconf/xfce-perchannel-xml/xsettings.xml 2025-09-30 17:41:11.755446766 +0200 @@ -24,7 +24,7 @@ <property name="CanChangeAccels" type="bool" value="true"/> <property name="ColorPalette" type="string" value="black:white:gray50:red:purple:blue:light blue:green:yellow:orange:lavender:brown:goldenrod4:dodger blue:pink:light green:gray10:gray30:gray75:gray90"/> <property name="FontName" type="string" value="Sans 10"/> - <property name="MonospaceFontName" type="empty"/> + <property name="MonospaceFontName" type="string" value="Monospace 10"/> <property name="IconSizes" type="string" value=""/> <property name="KeyThemeName" type="string" value="Emacs"/> <property name="MenuImages" type="bool" value="true"/>
As one can see, previously the property MonospaceFontName was unset, and now it has the value Monospace 10.
This is probably a (very minor) xfce bug. I might report it, but will first wait a bit for any comments here.
Long live btrfs snapshots!
...-13...vs...-15-...difference, but I find it very hard to see what difference (if any) this causes (but my eyesight is not good and I haven't spent any effort or time to try to get a more controlled experiment in place).