[racket] Font selection in DrRacket

From: Robby Findler (robby at eecs.northwestern.edu)
Date: Sat Nov 8 16:19:15 EST 2014

Do you see them in Font Book?

Robby

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
>
>
> ____________________
>   Racket Users list:
>   http://lists.racket-lang.org/users


Posted on the users mailing list.