[racket] Font selection in DrRacket

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)

Robby

On Sat, Nov 8, 2014 at 3:37 PM, Jordan Johnson <jmj at fellowhuman.com> wrote:
>
> On Nov 8, 2014, at 1:19 PM, Robby Findler <robby at eecs.northwestern.edu> wrote:
>> Do you see them in Font Book?
>
> Yes; they show up in the “User” collection but not the “Computer” collection, which is what led me to the hypothesis I offered.
>
> Best,
> jmj
>
>> On Sat, Nov 8, 2014 at 3:16 PM, Jordan Johnson <jmj at fellowhuman.com> wrote:
>>> Hi all,
>>>
>>> How can I tell where DrRacket looks for fonts, or tell it where to look? (I’m running it on OS X.)
>>>
>>> I ask because there are a few fonts I’ve installed that aren’t showing up as options in DrRacket’s font menus. I believe this is because I’ve installed them as user fonts — not system-wide fonts — and DrRacket is installed in the system’s Applications folder...but I’m not sure. I don’t see much info about font choice in the DrR docs (aside from the documentation on font%, font-list%, etc. — which seems off base and overcomplicated for this question).
>>>
>>> Thanks,
>>> jmj
>