On Mon, Feb 16, 2015 at 8:09 AM, giacomo boffi <pecore at pascolo.net> wrote: >> That's a font alias. Unfortunately, I've never yet figured out a >> straight-forward way to snap the pointer; > > when you know it, it's easy... > > % fc-match mono > DejaVuSansMono.ttf: "DejaVu Sans Mono" "Book" > % Learn something new every day! Thanks Giacomo! ChrisA