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

From: Carlos Pita <>
Date: Sat, 11 Jan 2014 17:07:56 -0200

Well, that's weird. I've done a pull just in case but my local is
up-to-date. My only modification is:

-static char font[] = "Liberation
+static char font[] = "DejaVu Sans Mono:size=9";

What is the font descriptor you're using for dejavu? Have you done
other changes to your configuration?

On Sat, Jan 11, 2014 at 4:01 PM, Bryan Bennett <> wrote:
> On Sat, Jan 11, 2014 at 12:59 PM, Carlos Pita <> wrote:
>> I would like to know whether this is a temporary buggy behavior or
>> it's expected and there is something else I must know that I'm missing
>> now in order to properly configure the git version.
> I just built HEAD here and it worked fine with both PragmataPro
> and DejaVu Sans Mono.
> Bryan
Received on Sat Jan 11 2014 - 20:07:56 CET

This archive was generated by hypermail 2.3.0 : Sat Jan 11 2014 - 20:12:11 CET