Re: [dev] [st] problem with fonts in git development version

From: Carlos Pita <>
Date: Sat, 11 Jan 2014 19:33:15 -0200

Hi there, I've had no time to look at this in detail yet but rebasing
without commit e8dba89 fixes the problem (i.e. git rebase --onto
e8dba89^ e8dba89 HEAD). The description of that commit is:

    query pixel size from matched font

    Sorry for another duplicated mail. I found the patch is malformed
    significantly. I've been away from my laptop for a while, so I'm quite
    unfamiliar with the settings on this system...

I'll dig into this as soon as I can.

On Sat, Jan 11, 2014 at 4:54 PM, Bryan Bennett <> wrote:
> I did a completely clean pull from upstream and only changed
> the fontstring, so no other config changes at all were present
> in my build.
> The font string I was using is:
> "DejaVu Sans Mono:size=10"
> (and I just tested with "DejaVu Sans Mono:size=9" just in case
> that was a point of difference while composing this and
> everything continued to function fine)
> I'm unsure what the problem could be, but have you tried a
> different font? Maybe it's something with either your version
> of DejaVu Sans Mono?
Received on Sat Jan 11 2014 - 22:33:15 CET

This archive was generated by hypermail 2.3.0 : Sat Jan 11 2014 - 22:36:07 CET