[racket] Font selection in DrRacket

On Nov 8, 2014, at 1:41 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:
> I have some fonts also only in that category, like Triplicate. I see
> it in DrRacket, but only if I choose "Other..." in the font selection
> dialog. Does your font show up there?
> 
> Relatedly, does it show up in the output of this program?
> 
> #lang racket/gui
> (get-face-list)

Interesting: No, and no.

However, I just restarted DrRacket, and it did show up in both lists (which is a bit strange, because I’d definitely installed the font prior to the last time I launched DrRacket). So my immediate problem is solved.

Thanks,
jmj