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

From: Bryan Bennett <bbenne10_AT_gmail.com>
Date: Sat, 11 Jan 2014 14:01:30 -0500

On Sat, Jan 11, 2014 at 12:59 PM, Carlos Pita <carlosjosepita_AT_gmail.com> 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:01:30 CET