The Xterm menu font (menus obtained with Ctrl-click) is too small on
high-dpi screen, and there's nothing in the documentation saying how
to configure it (neither in the xterm(1) man page, nor in the FAQ).
In particular, it doesn't honor the Xft dpi value.
I've tried a suggestion similar to
http://askubuntu.com/questions/283830/how-to-change-the-font-of-various-terminal-emulators
more precisely,
*font: xft:DejaVu\ Sans:Regular:size=10
in my .app-defaults/XTerm file, but I get an error:
Warning: Cannot convert string "xft:DejaVu Sans:Regular:size=10" to type FontStruct
Ditto with just:
*font: DejaVu Sans 10
What needs to be done:
* The Xft dpi value should probably be honored by default (that's
how I got the menu font scaled in various applications).
* Documentation.
Note: this is just for the menus, *not* for the terminal fonts (which
can be configured without any problem with faceName and faceSize).