On 2016-10-28 10:33, Eli Zaretskii wrote: >> Cc: 21028@debbugs.gnu.org >> From: Clément Pit--Claudel >> Date: Fri, 28 Oct 2016 10:23:36 -0400 >> >>> Did you try the recipe described in >>> >>> https://debbugs.gnu.org/cgi/bugreport.cgi?bug=17125#26 >>> >>> ? I tried, but couldn't see any errors, but I don't have a 7x13 font >>> on my system, so maybe the problem doesn't get trigger. >>> >>> That's the only reason the other part of the patch was introduced, and >>> if it's no longer pertinent, we could go back. >> >> I tried it, and I can't reproduce the error either. > > Thanks. So, like I said: let's revisit this in a month or two, > assuming no other problems surface. I've been using your patch since then, and everything works fine for me. Is it a good time to revisit this? Thanks! Clément.