--- xterm/XTerm.ad 2018-07-10 14:16:04.913131251 +0200 +++ xterm/XTerm.ad 2018-07-10 14:22:15.180237066 +0200 @@ -116,9 +116,9 @@ *fontMenu.Label: VT Fonts *fontMenu*fontdefault*Label: Default -*VT100.font: -misc-fixed-medium-r-semicondensed-*-13-120-75-75-c-60-iso10646-1 -*VT100.wideFont: -misc-fixed-medium-r-normal-*-13-120-75-75-c-120-iso10646-1 -*VT100.wideBoldFont: -misc-fixed-medium-r-normal-*-13-120-75-75-c-120-iso10646-1 +*VT100*font: -misc-fixed-medium-r-normal-*-18-120-100-100-c-90-iso10646-1 +*VT100*boldfont: -misc-fixed-bold-r-normal-*-18-120-100-100-c-90-iso10646-1 +*VT100*wideFont: -misc-fixed-medium-r-normal-*-18-120-100-100-c-180-iso10646-1 *fontMenu*font1*Label: Unicode Best *VT100.font1: -misc-fixed-medium-r-normal-*-18-120-100-100-c-90-iso10646-1