On Nov 8, 2014, at 1:19 PM, Robby Findler <ro...@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 <j...@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 ____________________ Racket Users list: http://lists.racket-lang.org/users
