>>>>> On Thu, 07 Nov 2019 19:24:16 +0200, Eli Zaretskii said: Eli> Just making GTK font selection take face-ignored-fonts into account Eli> sounds like a nice improvement to me, almost a bugfix. So if this is Eli> not too tricky to implement, I think we should go this way. >> >> Itʼs not too hard, I can get to it in the next week or so. Eli> Thank you. The following works for me: