On Mon, Feb 16, 2015 at 8:09 AM, giacomo boffi <pec...@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 -- https://mail.python.org/mailman/listinfo/python-list
