On Mon, Dec 19, 2016 at 7:49 PM, lee <l...@yagibdah.de> wrote: >>> >> The menu has the same fonts when the first in the path is >> /usr/share/fonts/100dpi or /usr/share/fonts/Type1/; when >> /usr/share/fonts/75dpi it uses smaller fonts. So it seems that it >> wants /usr/share/fonts/?dpi. But if /usr/share/fonts/misc/ comes >> first, xterm crashes. > > That sounds like a bug in xterm, picking a font that makes it crash, > depending on in which order they appear (are being searched through). > > Even when there is a buggy font it picks, it shouldn't crash. > Sure, but it doesn't seem to happen to anyone else. I'm reluctant to blame the software if I'm not sure I didn't do something wrong...
Jorge
